/PyMiniSolvers

A Python API for the MiniSat and MiniCard constraint solvers.

Primary LanguageC++OtherNOASSERTION

Watchers