PyPI page
Home page
Author:
None
Summary:
passagemath: Interface to the SAT solver glucose
Latest version:
10.8.5
Optional dependencies:
passagemath-combinat
|
passagemath-repl
Downloads last day:
2,408
Downloads last week:
4,506
Downloads last month:
17,249