Full-featured MP4 format, MPEG DASH, HLS, CMAF SDK and tools

Library and tools for working with MP4 files containing video, audio, subtitles, or metadata. The focus is on fragmented files. Includes mp4ff-info, mp4ff-encrypt, mp4ff-decrypt and other tools.

JavaScript AC-3 (ATSC A/52) decoder

CSP with all arc-consistency algorithms

An advanced C++ puzzle solver that leverages AI techniques of constraint satisfaction and backtracking algorithms to solve any puzzle, complemented by an interactive Qt5 GUI and Sudoku games.

A simple combinatorial boolean sat solver based on the AC-3 Algorithm

Solving Sudoku as a Constraint Satisfaction Problem using the AC-3 algorithm

Implementing Backtracking Algorithm to Solve Hashiwokakero puzzles in Python

Sudoku Solver using AC-3

Implementasi Penyelesaian Permainan Teka-teki Silang dengan Pendekatan Constraint Satisfaction Problem

Final Project in AI Course, HUJI

This repository includes a Sudoku solver and a Magic Square puzzle solver. The Sudoku solver employs backtracking search with heuristics and the AC-3 algorithm. The Magic Square solver uses a genetic algorithm to solve 3x3 puzzles. Both solvers are implemented in Python with efficient and optimized approaches.

Solving Sudoku using Backtracking and AC-3 Algorithm

Sudoku Solver is a repository dedicated to the development and benchmark of famous and novel approaches to solve Sudoku puzzles up to 17 clues

Project for Artificial Intelligence @ Unifi - Implementation of two solvers based on Backtracking and Maintaining-Arc-Consistency for the K Knights Problem