LICENSE
README.md
pyproject.toml
satassume/__init__.py
satassume/compile.py
satassume/constfield.py
satassume/engine.py
satassume/epoch.py
satassume/euf.py
satassume/euf_adapter.py
satassume/extensions.py
satassume/formula.py
satassume/lra.py
satassume/lra_adapter.py
satassume/memos.py
satassume/ref.py
satassume/relations.py
satassume/rules.py
satassume/scope.py
satassume/solver.py
satassume/sympy_api.py
satassume/theory.py
satassume/transfer.py
satassume.egg-info/PKG-INFO
satassume.egg-info/SOURCES.txt
satassume.egg-info/dependency_links.txt
satassume.egg-info/requires.txt
satassume.egg-info/top_level.txt
satassume/templates/__init__.py
satassume/templates/_common.py
satassume/templates/atoms.py
satassume/templates/core.py
satassume/templates/functions.py
satassume/templates/registry.py
satassume/templates/table.py
tests/test_budget_cone.py
tests/test_constfield.py
tests/test_engine.py
tests/test_eq_canonical.py
tests/test_eq_links.py
tests/test_euf.py
tests/test_euf_adapter.py
tests/test_euf_fuzz.py
tests/test_extended_order.py
tests/test_extensibility.py
tests/test_history.py
tests/test_invariant_repros.py
tests/test_invariants.py
tests/test_known_gaps.py
tests/test_lazy_atoms.py
tests/test_lra.py
tests/test_lra_adapter.py
tests/test_lra_constant_coefficients.py
tests/test_lra_constants.py
tests/test_lra_exhaustion.py
tests/test_lra_fuzz.py
tests/test_lra_integers.py
tests/test_memos.py
tests/test_noncommutative.py
tests/test_p2_review.py
tests/test_p3_review.py
tests/test_p3_review2.py
tests/test_p4_review.py
tests/test_p5b_review.py
tests/test_p6_review.py
tests/test_p7_review_fixed_invariant_repros_replay.py
tests/test_prover_gaps.py
tests/test_ref.py
tests/test_registry_versioning.py
tests/test_relations.py
tests/test_relevance.py
tests/test_rules.py
tests/test_scope.py
tests/test_set_verdict.py
tests/test_shared_facts.py
tests/test_solver.py
tests/test_solver_incremental.py
tests/test_solver_real_theories.py
tests/test_switched_glue.py
tests/test_sympy_api.py
tests/test_template_tables.py
tests/test_template_volume.py
tests/test_templates.py
tests/test_theory_hooks.py
tests/test_total_templates.py
tests/test_totality.py
tests/test_transfer.py
tests/test_transfer_fuzz.py
tests/test_transfer_numbers.py
tests/test_verify_integration.py
tests/test_verify_soundness.py
tests/test_writeback_provenance.py
tests/test_zero_glue.py