Martin Hořeňovský

Results 1 repositories owned by Martin Hořeňovský

sudoku-example

30
Stars
6
Forks
Watchers

An example of C++ Sudoku solver using MiniSat library.