PyPI page
Home page
Author:
None
Summary:
passagemath: Interface to the SAT solver kissat
Latest version:
10.8.5
Optional dependencies:
passagemath-combinat
|
passagemath-repl
Downloads last day:
2,393
Downloads last week:
3,334
Downloads last month:
19,612