claudiom/Sudoku-Solver-with-SAT-solver
A simple Sudoku solver that transform an instance of the game into a CNF that is solved by using a SAT solver.
Developer Profile
claudiom
Discovered public repositories for claudiom in the GitHub catalog.
claudiom/Introduction-to-algorithms
Implementations of algorithms from the book "Introduction to Algorithms", 3rd ed, Cormen, Leiserson, Rivest, Stein