A Python API for the MiniSat and MiniCard constraint solvers.
Primary LanguageC++OtherNOASSERTION
No one’s star this repository yet.