PyPI page
Home page
Author:
None
Summary:
passagemath: Interface to the SAT solver glucose
Latest version:
10.8.4
Optional dependencies:
passagemath-combinat
|
passagemath-repl
Downloads last day:
52
Downloads last week:
6,486
Downloads last month:
18,563