PyPI page
Home page
Author:
None
Summary:
passagemath: Interface to the SAT solver kissat
Latest version:
10.8.4
Optional dependencies:
passagemath-combinat
|
passagemath-repl
Downloads last day:
61
Downloads last week:
5,131
Downloads last month:
17,900