se-ke/PseudoFutoshiki
Algorithm for solving the Latin Square puzzle Futoshiki using pseudo-boolean constraints and a SAT solver
PythonMIT
No issues in this repository yet.
Algorithm for solving the Latin Square puzzle Futoshiki using pseudo-boolean constraints and a SAT solver
PythonMIT
No issues in this repository yet.