A powerful FFMPEG audio encoder GUI

Mp4Box GUI

Interactive implementation of Arc Consistency Algorithm #3

Sudoku CSP Solver using Backtracking Search and Arc-Consistency 3

CS156 - Fall 2014 - Introduction to Artificial Intelligence

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

Using CSP heuristics

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

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.

An AI for solving Sudoku. 🤖 ⚡️

Compress mkv files to smaller mkv files with ffmpeg

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