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.1


Downloads last day: 44
Downloads last week: 206
Downloads last month: 6,232