picross game solver using boolean logic (SAT)
Primary LanguagePython
No issues in this repository yet.