/py_minimal_model

compute minimal models based on python-sat

Primary LanguagePython

Stargazers