ac-3
Here are 14 public repositories matching this topic...
Library and tools for parsing and writing MP4 files including video, audio and subtitles. The focus is on fragmented files. Includes mp4ff-info, mp4ff-encrypt, mp4ff-decrypt and other tools.
-
Updated
Sep 3, 2024 - Go
A simple combinatorial boolean sat solver based on the AC-3 Algorithm
-
Updated
Aug 5, 2017 - C
Solving Sudoku as a Constraint Satisfaction Problem using the AC-3 algorithm
-
Updated
Aug 18, 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.
-
Updated
Jul 11, 2024 - Jupyter Notebook
Implementasi Penyelesaian Permainan Teka-teki Silang dengan Pendekatan Constraint Satisfaction Problem
-
Updated
Dec 17, 2023 - Python
Solving Sudoku using Backtracking and AC-3 Algorithm
-
Updated
Mar 29, 2019 - 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.
-
Updated
Jun 28, 2024 - Jupyter Notebook
Project for Artificial Intelligence @ Unifi - Implementation of two solvers based on Backtracking and Maintaining-Arc-Consistency for the K Knights Problem
-
Updated
Jun 18, 2024 - Python
Improve this page
Add a description, image, and links to the ac-3 topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the ac-3 topic, visit your repo's landing page and select "manage topics."