A Python API for the MiniSat and MiniCard constraint solvers.
Primary LanguageC++OtherNOASSERTION
No issues in this repository yet.