An easy-to-use, general and open-source tool to solve the guess-and-determine problem

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

Solving the high school timetable problem using a SAT-Solver

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