An example sudoku solver. This is a translation to Java/Sat4j of Martin Hořeňovský's example solver in C++/MiniSat.
This project is just a first experiment with Sat4j, it is unlikely to be useful to anyone other than its author.
An example sudoku solver. This is a translation to Java/Sat4j of Martin Hořeňovský's example solver in C++/MiniSat.
This project is just a first experiment with Sat4j, it is unlikely to be useful to anyone other than its author.