LICENSE
README.md
pyproject.toml
src/physverify/__init__.py
src/physverify/__main__.py
src/physverify/agent.py
src/physverify/checks.py
src/physverify/cli.py
src/physverify/compare.py
src/physverify/loaders.py
src/physverify/matrix.py
src/physverify/mms.py
src/physverify/order.py
src/physverify/pytest_plugin.py
src/physverify/report.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/adapters/__init__.py
src/physverify/adapters/double_pendulum.py
src/physverify/adapters/lorenz.py
src/physverify/adapters/projectile_v1.py
src/physverify/adapters/projectile_v2.py
src/physverify/adapters/three_body.py
src/physverify/problems/__init__.py
src/physverify/problems/_common.py
src/physverify/problems/heat1d.py
src/physverify/problems/kepler.py
src/physverify/problems/pendulum.py
src/physverify/problems/projectile.py
src/physverify/problems/sod.py
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/matrix.py
src/physverify/stochastic/reference.py
src/physverify/stochastic/sampler.py
src/physverify/stochastic/stats.py
tests/test_agent.py
tests/test_cli.py
tests/test_ising.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_seeded_bugs.py
tests/test_studies.py