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.

Entities shared between gohlslib, gortsplib, gortmplib, MediaMTX

JavaScript AC-3 (ATSC A/52) decoder

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.

CSP with all arc-consistency algorithms

Python AI, ML, DL, NLP and GAN exploration playground.

Interactive AI Sudoku Solver visualizing CSP algorithms (Backtracking, AC-3, MRV/LCV) with a reactive 3D robot companion — built with React Three Fiber

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

A lightweight, no_std constraint propagation solver for real-time game logic and procedural verification

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

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.

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

Solving Sudoku using Backtracking and AC-3 Algorithm

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

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