LICENSE
MANIFEST.in
README.md
pyproject.toml
benchmarks/benchmark_zerotest.py
docs/api.md
docs/architecture.md
docs/assumptions.md
docs/capabilities.md
docs/development.md
docs/function_facts.csv
docs/function_facts.md
docs/limitations.md
docs/performance.md
docs/soundness.md
examples/quickstart.py
src/exprtest/__init__.py
src/exprtest/_algebraic.py
src/exprtest/_algebraic_bounds.py
src/exprtest/_algebraic_model.py
src/exprtest/_algebraic_normalize.py
src/exprtest/_algebraic_tower.py
src/exprtest/_assumptions.py
src/exprtest/_cache.py
src/exprtest/_call_memo.py
src/exprtest/_config.py
src/exprtest/_cost.py
src/exprtest/_cyclotomic.py
src/exprtest/_defined.py
src/exprtest/_domains.py
src/exprtest/_errors.py
src/exprtest/_exact_constants.py
src/exprtest/_exp_independence.py
src/exprtest/_fast.py
src/exprtest/_features.py
src/exprtest/_finite_field.py
src/exprtest/_flint_values.py
src/exprtest/_function_facts.py
src/exprtest/_identity.py
src/exprtest/_memo.py
src/exprtest/_negative_cache.py
src/exprtest/_nonzero.py
src/exprtest/_normal_forms.py
src/exprtest/_numeric.py
src/exprtest/_profile.py
src/exprtest/_pslq.py
src/exprtest/_result.py
src/exprtest/_rewrite.py
src/exprtest/_special.py
src/exprtest/_sqrt_sum.py
src/exprtest/_timing.py
src/exprtest/_transcendental.py
src/exprtest/core.py
src/exprtest/py.typed
src/exprtest.egg-info/PKG-INFO
src/exprtest.egg-info/SOURCES.txt
src/exprtest.egg-info/dependency_links.txt
src/exprtest.egg-info/requires.txt
src/exprtest.egg-info/top_level.txt
tests/smoke_test.py
tests/test_algebraic.py
tests/test_assumption_equivalence.py
tests/test_boundaries_and_caches.py
tests/test_contract_matrix.py
tests/test_differential_exact.py
tests/test_domains.py
tests/test_exact_methods.py
tests/test_examples.py
tests/test_function_facts.py
tests/test_fuzz_invariants.py
tests/test_metamorphic.py
tests/test_oracle.py
tests/test_performance_contract.py
tests/test_release_gate.py
tests/test_routing.py
tests/test_scipy_function_compat.py
tests/test_transcendental.py
tests/test_zero_regressions.py