pindakaas

PyPI page
Home page
Author: None
Summary: Boolean satisfiability (SAT) library with efficient encoding of complex constraints and solver interaction
Latest version: 0.5.0


Downloads last day: 409
Downloads last week: 988
Downloads last month: 7,179