CHANGELOG.md
CITATION.cff
CODE_OF_CONDUCT.md
CONTRIBUTING.md
LICENSE
MANIFEST.in
README.md
SECURITY.md
mkdocs.yml
pyproject.toml
docs/DESIGN.md
docs/THEORY.md
docs/api.md
docs/audit.md
docs/changelog.md
docs/examples.md
docs/getting-started.md
docs/index.md
docs/phase_diagram.md
docs/pypi.md
docs/study.md
docs/tutorial.md
docs/assets/hero.png
docs/assets/icon.svg
docs/assets/logo-dark.svg
docs/assets/logo-light.svg
docs/assets/phase_diagram.png
docs/assets/results.png
docs/assets/robustness.png
docs/assets/sensor_sweep.png
docs/assets/social-preview.png
examples/README.md
examples/box_inside.json
examples/box_outside.json
examples/generate.py
examples/inconclusive.json
examples/invalid_bc.json
examples/invalid_gap.json
examples/paving_regression.json
examples/paving_theta500.json
examples/regression_pair.json
examples/theta500_pair.json
examples/witness_theta500.json
examples/study/m17_eps100000_local_paving.json
examples/study/m17_eps100000_pair.json
examples/study/m17_eps100000_paving.json
examples/study/m17_eps1000_affine_local_paving.json
examples/study/m17_eps100_pair.json
examples/study/m17_eps100_paving.json
examples/study/m3_eps100000_pair.json
examples/study/m3_eps100000_paving.json
examples/study/m3_eps100_pair.json
examples/study/m3_eps100_paving.json
examples/study/phase/d0_m17_eps1000000_pair.json
examples/study/phase/d0_m17_eps1000000_paving.json
examples/study/phase/d0_m17_eps100_pair.json
examples/study/phase/d0_m17_eps100_paving.json
examples/study/phase/d3_m17_eps1000000_pair.json
examples/study/phase/d3_m17_eps100_pair.json
examples/study/robustness/alternating_eps100000_pair.json
examples/study/robustness/centre_eps100000_pair.json
examples/study/robustness/degree1_eps10000_pair.json
examples/study/robustness/degree1_eps10000_paving.json
examples/study/robustness/degree2_eps10000_pair.json
examples/study/robustness/budget128/degree1_eps10000_pair.json
examples/study/robustness/budget128/degree1_eps10000_paving.json
examples/study/robustness/budget128/degree2_eps10000_pair.json
examples/study/robustness/budget128/degree2_eps10000_paving.json
notebooks/README.md
notebooks/pinn_twin.ipynb
notebooks/pinn_twin_evidence/pair.json
notebooks/pinn_twin_evidence/truth.json
scripts/verify_release.py
studies/_lp.py
studies/affine_sweep.py
studies/box_ablation.py
studies/contractor_sivia.py
studies/execute_pinn_notebook.py
studies/hero.py
studies/linearized_baseline.py
studies/lp_seeded_pairs.py
studies/monotone_sweep.py
studies/oriented_sivia.py
studies/phase_diagram.py
studies/phase_figure.py
studies/results_figure.py
studies/robustness.py
studies/robustness_figure.py
studies/sensor_sweep.py
studies/social_card.py
studies/results/m17_eps100000_pair.json
studies/results/m17_eps100000_paving.json
studies/results/m17_eps10000_pair.json
studies/results/m17_eps10000_paving.json
studies/results/m17_eps1000_pair.json
studies/results/m17_eps1000_paving.json
studies/results/m17_eps100_pair.json
studies/results/m17_eps100_paving.json
studies/results/m3_eps100000_pair.json
studies/results/m3_eps100000_paving.json
studies/results/m3_eps10000_pair.json
studies/results/m3_eps10000_paving.json
studies/results/m3_eps1000_pair.json
studies/results/m3_eps1000_paving.json
studies/results/m3_eps100_pair.json
studies/results/m3_eps100_paving.json
studies/results/m5_eps100000_pair.json
studies/results/m5_eps100000_paving.json
studies/results/m5_eps10000_pair.json
studies/results/m5_eps10000_paving.json
studies/results/m5_eps1000_pair.json
studies/results/m5_eps1000_paving.json
studies/results/m5_eps100_pair.json
studies/results/m5_eps100_paving.json
studies/results/m9_eps100000_pair.json
studies/results/m9_eps100000_paving.json
studies/results/m9_eps10000_pair.json
studies/results/m9_eps10000_paving.json
studies/results/m9_eps1000_pair.json
studies/results/m9_eps1000_paving.json
studies/results/m9_eps100_pair.json
studies/results/m9_eps100_paving.json
studies/results/summary.csv
studies/results/phase/linearized_baseline.csv
studies/results/phase/lp_seeded.csv
studies/results/phase/summary.csv
studies/results/robustness/summary.csv
studies/results/robustness/budget128/summary.csv
studies/results/target1/summary.csv
studies/results/target1/target1_m17_eps100000_pair.json
studies/results/target1/target1_m17_eps100000_paving.json
studies/results/target1/target1_m17_eps10000_pair.json
studies/results/target1/target1_m17_eps10000_paving.json
studies/results/target1/target1_m17_eps1000_pair.json
studies/results/target1/target1_m17_eps1000_paving.json
studies/results/target1/target1_m17_eps100_pair.json
studies/results/target1/target1_m17_eps100_paving.json
studies/results/target1/target1_m3_eps100000_pair.json
studies/results/target1/target1_m3_eps100000_paving.json
studies/results/target1/target1_m3_eps10000_pair.json
studies/results/target1/target1_m3_eps10000_paving.json
studies/results/target1/target1_m3_eps1000_pair.json
studies/results/target1/target1_m3_eps1000_paving.json
studies/results/target1/target1_m3_eps100_pair.json
studies/results/target1/target1_m3_eps100_paving.json
studies/results/target1/target1_m5_eps100000_pair.json
studies/results/target1/target1_m5_eps100000_paving.json
studies/results/target1/target1_m5_eps10000_pair.json
studies/results/target1/target1_m5_eps10000_paving.json
studies/results/target1/target1_m5_eps1000_pair.json
studies/results/target1/target1_m5_eps1000_paving.json
studies/results/target1/target1_m5_eps100_pair.json
studies/results/target1/target1_m5_eps100_paving.json
studies/results/target1/target1_m9_eps100000_pair.json
studies/results/target1/target1_m9_eps100000_paving.json
studies/results/target1/target1_m9_eps10000_pair.json
studies/results/target1/target1_m9_eps10000_paving.json
studies/results/target1/target1_m9_eps1000_pair.json
studies/results/target1/target1_m9_eps1000_paving.json
studies/results/target1/target1_m9_eps100_pair.json
studies/results/target1/target1_m9_eps100_paving.json
studies/results/target2/summary.csv
studies/results/target2/target2_m17_eps100000_pair.json
studies/results/target2/target2_m17_eps100000_paving.json
studies/results/target2/target2_m17_eps10000_pair.json
studies/results/target2/target2_m17_eps10000_paving.json
studies/results/target2/target2_m17_eps1000_pair.json
studies/results/target2/target2_m17_eps1000_paving.json
studies/results/target2/target2_m17_eps100_pair.json
studies/results/target2/target2_m17_eps100_paving.json
studies/results/target2/target2_m3_eps100000_pair.json
studies/results/target2/target2_m3_eps100000_paving.json
studies/results/target2/target2_m3_eps10000_pair.json
studies/results/target2/target2_m3_eps10000_paving.json
studies/results/target2/target2_m3_eps1000_pair.json
studies/results/target2/target2_m3_eps1000_paving.json
studies/results/target2/target2_m3_eps100_pair.json
studies/results/target2/target2_m3_eps100_paving.json
studies/results/target2/target2_m5_eps100000_pair.json
studies/results/target2/target2_m5_eps100000_paving.json
studies/results/target2/target2_m5_eps10000_pair.json
studies/results/target2/target2_m5_eps10000_paving.json
studies/results/target2/target2_m5_eps1000_pair.json
studies/results/target2/target2_m5_eps1000_paving.json
studies/results/target2/target2_m5_eps100_pair.json
studies/results/target2/target2_m5_eps100_paving.json
studies/results/target2/target2_m9_eps100000_pair.json
studies/results/target2/target2_m9_eps100000_paving.json
studies/results/target2/target2_m9_eps10000_pair.json
studies/results/target2/target2_m9_eps10000_paving.json
studies/results/target2/target2_m9_eps1000_pair.json
studies/results/target2/target2_m9_eps1000_paving.json
studies/results/target2/target2_m9_eps100_pair.json
studies/results/target2/target2_m9_eps100_paving.json
tests/test_affine.py
tests/test_audit_models.py
tests/test_checker.py
tests/test_fit.py
tests/test_models.py
tests/test_monotone.py
tests/test_monotone_sivia.py
tests/test_oriented.py
tests/test_oriented_generator.py
tests/test_paving.py
tests/test_phase_diagram.py
tests/test_pinn_notebook.py
tests/test_poly.py
tests/test_rational.py
tests/test_release.py
tests/test_robustness.py
tests/test_search_cli_examples.py
tests/test_sivia.py
tests/test_solver_candidate.py
tests/test_tutorial_study.py
twindex/__init__.py
twindex/affine.py
twindex/audit.py
twindex/candidate.py
twindex/certificate.py
twindex/checker.py
twindex/cli.py
twindex/fit.py
twindex/linalg.py
twindex/model.py
twindex/poly.py
twindex/rational.py
twindex/search.py
twindex/solver.py
twindex.egg-info/PKG-INFO
twindex.egg-info/SOURCES.txt
twindex.egg-info/dependency_links.txt
twindex.egg-info/entry_points.txt
twindex.egg-info/requires.txt
twindex.egg-info/top_level.txt
twindex/data/box_inside.json
twindex/data/box_outside.json
twindex/data/inconclusive.json
twindex/data/invalid_bc.json
twindex/data/invalid_gap.json
twindex/data/paving_regression.json
twindex/data/paving_theta500.json
twindex/data/regression_pair.json
twindex/data/theta500_pair.json
twindex/data/witness_theta500.json