Popular repositories Loading

1. Introduction-to-algorithms Introduction-to-algorithms Public

   Implementations of algorithms from the book "Introduction to Algorithms", 3rd ed, Cormen, Leiserson, Rivest, Stein

   1

2. Sudoku-Solver-with-SAT-solver Sudoku-Solver-with-SAT-solver Public

   A simple Sudoku solver that transform an instance of the game into a CNF that is solved by using a SAT solver.

   Java 1