sudoku_sat. Solving Sudoku variants with SAT solvers

github.com/shnarazk/sudoku_sat

Problem

Audience

Updates

No founder updates yet. Check back soon.