PyPI page
Home page
Author:
Juan Pablo Traverso
Summary:
Certificates for the work before the proof: decide, enumerate, optimise, reduce and certify -- and re-check it all without trusting the tool. CLI + MCP.
Latest version:
0.33.0
Required dependencies:
pulp
|
z3-solver
Optional dependencies:
clarabel
|
gmpy2
|
highspy
|
mcp
|
mpmath
|
numpy
|
pycddlib
|
python-flint
|
python-sat
Downloads last day:
181
Downloads last week:
456
Downloads last month:
3,089
7-day smoothing