A simple combinatorial boolean sat solver based on the AC-3 Algorithm
-
Updated
Aug 5, 2017 - C
A simple combinatorial boolean sat solver based on the AC-3 Algorithm
Solving Sudoku using Backtracking and AC-3 Algorithm
Solving Sudoku as a Constraint Satisfaction Problem using the AC-3 algorithm
Implementasi Penyelesaian Permainan Teka-teki Silang dengan Pendekatan Constraint Satisfaction Problem
Project for Artificial Intelligence @ Unifi - Implementation of two solvers based on Backtracking and Maintaining-Arc-Consistency for the K Knights Problem
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.
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.
Final Project in AI Course, HUJI
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.
Add a description, image, and links to the ac-3 topic page so that developers can more easily learn about it.
To associate your repository with the ac-3 topic, visit your repo's landing page and select "manage topics."