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

• UpdatedNov 15, 2024
• C++

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.

• UpdatedMar 10, 2025
• Go

JavaScript AC-3 (ATSC A/52) decoder

• UpdatedDec 1, 2024
• JavaScript

CSP with all arc-consistency algorithms

• UpdatedFeb 27, 2019
• Python

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.

• UpdatedJul 11, 2024
• Jupyter Notebook

AC-3 media extension provided by Dolby to OEMs.

• UpdatedJan 30, 2025

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

• UpdatedAug 5, 2017
• C

Exploration of python language features and AI/ML.

• UpdatedMar 13, 2025
• Python

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

• UpdatedAug 18, 2019
• Python

Sudoku Solver using AC-3

• UpdatedJan 19, 2018
• Python

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

• UpdatedDec 17, 2023
• Python

Final Project in AI Course, HUJI

• UpdatedSep 15, 2024
• Python

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

• UpdatedJun 18, 2024
• Python

Implementing Backtracking Algorithm to Solve Hashiwokakero puzzles in Python

• UpdatedMar 18, 2024
• Python

Solving Sudoku using Backtracking and AC-3 Algorithm

• UpdatedMar 29, 2019
• Python

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

• UpdatedOct 30, 2024
• Python

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.

• UpdatedJun 28, 2024
• Jupyter Notebook