LICENSE
README.md
pyproject.toml
src/certo/__init__.py
src/certo/api.py
src/certo/asymptotics.py
src/certo/audit.py
src/certo/binding.py
src/certo/catalogue.py
src/certo/cdcl.py
src/certo/certificate.py
src/certo/cli.py
src/certo/cnf.py
src/certo/cover.py
src/certo/cycles.py
src/certo/dataspec.py
src/certo/doctor.py
src/certo/drup.py
src/certo/entry.py
src/certo/equitable.py
src/certo/exact.py
src/certo/existence.py
src/certo/family.py
src/certo/graphs.py
src/certo/growth.py
src/certo/i18n.py
src/certo/interchange.py
src/certo/lattice.py
src/certo/lean.py
src/certo/leancheck.py
src/certo/leanexport.py
src/certo/ledger.py
src/certo/limits.py
src/certo/linarith.py
src/certo/linsolve.py
src/certo/lint.py
src/certo/mcp_server.py
src/certo/moment.py
src/certo/numbers.py
src/certo/numerics.py
src/certo/orbits.py
src/certo/orderinfer.py
src/certo/packing.py
src/certo/parametric.py
src/certo/paramsym.py
src/certo/peak.py
src/certo/polynomials.py
src/certo/propositional.py
src/certo/rangebound.py
src/certo/ratio.py
src/certo/reducers.py
src/certo/repro.py
src/certo/resultants.py
src/certo/routing.py
src/certo/simplex.py
src/certo/sos.py
src/certo/spec.py
src/certo/status.py
src/certo/status_report.py
src/certo/structures.py
src/certo/symmetry.py
src/certo/toric.py
src/certo/tree.py
src/certo/z3util.py
src/certo/engines/__init__.py
src/certo/engines/algebra.py
src/certo/engines/bb.py
src/certo/engines/bisect.py
src/certo/engines/bounds.py
src/certo/engines/cegis.py
src/certo/engines/compose.py
src/certo/engines/domain.py
src/certo/engines/farkas.py
src/certo/engines/graphsearch.py
src/certo/engines/induct.py
src/certo/engines/lp.py
src/certo/engines/mixed.py
src/certo/engines/order.py
src/certo/engines/sat.py
src/certo/engines/shrink.py
src/certo/engines/smt.py
src/certo/locales/en.json
src/certo/locales/es.json
src/certo_math.egg-info/PKG-INFO
src/certo_math.egg-info/SOURCES.txt
src/certo_math.egg-info/dependency_links.txt
src/certo_math.egg-info/entry_points.txt
src/certo_math.egg-info/requires.txt
src/certo_math.egg-info/top_level.txt
tests/test_adversarial.py
tests/test_determinism.py
tests/test_extras.py
tests/test_i18n.py
tests/test_mcp.py
tests/test_smoke.py