SAT like solver

start

Examples: puzzle 1 -- puzzle 2 -- puzzle 3 -- mini Sudoku -- puzzle 4 -- puzzle 5

Solve