An AI for solving Sudoku. 🤖 ⚡️

CS156 - Fall 2014 - Introduction to Artificial Intelligence

Sudoku CSP Solver using Backtracking Search and Arc-Consistency 3

Using CSP heuristics

Interactive implementation of Arc Consistency Algorithm #3

Compress mkv files to smaller mkv files with ffmpeg

Event based MS Windows python-script, which: hides own window, de-crap-ifies, flattens directory structure, cleans tvseries-episode release, checks for completeness, decides if wanted quality is met, scans for E-AC3-codec audio-streams, speeds transcoding/encoding up by converting just the audio stream leaving video and subtitles untouched in th…

Solve Sudoku as a Constraint Satisfaction Problem

A fast, powerful and simple to use Audio-CD ripper

Takes an unsolved Sudoku Grid as input, given as a continuous string of 81 characters. Program prints out the final output as a 9x9 grid and uses Constraint Propagation (AC3 Algorithm) and Backtracking Search. In AC3, it checks arc consistency and enforces it by removing values from the domain of unassigned variables.

Solving Sudoku using constraint satisfaction - AC3, and MRV & FirstAvailable Algorithms for variable selection

A powerful FFMPEG audio encoder GUI

AI Sudoku Solver implemented by formulating the puzzle as a Constraint Satisfaction Problem (CSP). Uses AC3 to reduce variable domains and Backtracking Search for solution finding.

AC-3, Backtracking search and Min-Conflicts algorithms implementation to solve CSPs

Mp4Box GUI