RoundingSat: the pseudo-Boolean solver powered by proof complexity!
Sudoku generators, solvers and readers