An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges

Helltaker puzzle solver. Using SAT solver.

Encode knot mosaics as a SAT formula and solve with a SAT solver.

Using SAT solvers to solve Sudoku puzzles very quickly

SAT formula builder with constraint dependency tracking written in Java

Implementation of DPLL, CDCL together with server-client architecture for visualization and execution of benchmarks and sat-reductions of few known problems.

Solving the high school timetable problem using a SAT-Solver