LICENSE
README.md
pyproject.toml
src/physverify/__init__.py
src/physverify/__main__.py
src/physverify/agent.py
src/physverify/butcher.py
src/physverify/checks.py
src/physverify/cli.py
src/physverify/constants.py
src/physverify/demo.py
src/physverify/identities.py
src/physverify/lint.py
src/physverify/loaders.py
src/physverify/mms.py
src/physverify/order.py
src/physverify/pytest_plugin.py
src/physverify/references.py
src/physverify/report.py
src/physverify/scaffold.py
src/physverify/scan.py
src/physverify/smoke.py
src/physverify/steppers.py
src/physverify/studies.py
src/physverify/symbolic.py
src/physverify.egg-info/PKG-INFO
src/physverify.egg-info/SOURCES.txt
src/physverify.egg-info/dependency_links.txt
src/physverify.egg-info/entry_points.txt
src/physverify.egg-info/requires.txt
src/physverify.egg-info/top_level.txt
src/physverify/stochastic/__init__.py
src/physverify/stochastic/calibrate.py
src/physverify/stochastic/checks.py
src/physverify/stochastic/exact.py
src/physverify/stochastic/ising.py
src/physverify/stochastic/reference.py
src/physverify/stochastic/sampler.py
src/physverify/stochastic/stats.py
tests/test_agent.py
tests/test_awkward_input.py
tests/test_batch7_lessons.py
tests/test_batch8_lessons.py
tests/test_butcher_properties.py
tests/test_cli.py
tests/test_corpus_lessons.py
tests/test_docs_examples.py
tests/test_figures.py
tests/test_ising.py
tests/test_method_bugs.py
tests/test_mms.py
tests/test_new_problems.py
tests/test_order.py
tests/test_properties.py
tests/test_real_projects.py
tests/test_reference_problems.py
tests/test_references.py
tests/test_scaffold.py
tests/test_scan.py
tests/test_seeded_bugs.py
tests/test_studies.py
tests/test_v040_helpers.py
tests/test_versions.py