a logic game for constraint satisfaction problem using a SAT Solver
-
Updated
Mar 21, 2019 - OCaml
a logic game for constraint satisfaction problem using a SAT Solver
Add a description, image, and links to the piet-mondrian topic page so that developers can more easily learn about it.
To associate your repository with the piet-mondrian topic, visit your repo's landing page and select "manage topics."