/PseudoFutoshiki

Algorithm for solving the Latin Square puzzle Futoshiki using pseudo-boolean constraints and a SAT solver

Primary LanguagePythonMIT LicenseMIT

No issues in this repository yet.