LICENSE
README.md
pyproject.toml
src/copela/__init__.py
src/copela/budget.py
src/copela/cli.py
src/copela/ledger.py
src/copela/py.typed
src/copela/report.py
src/copela/sweep.py
src/copela/verdicts.py
src/copela.egg-info/PKG-INFO
src/copela.egg-info/SOURCES.txt
src/copela.egg-info/dependency_links.txt
src/copela.egg-info/entry_points.txt
src/copela.egg-info/requires.txt
src/copela.egg-info/top_level.txt
src/copela/oracles/__init__.py
src/copela/oracles/properties.py
src/copela/providers/__init__.py
src/copela/providers/base.py
src/copela/providers/hosted.py
src/copela/solvers/__init__.py
src/copela/solvers/highs.py
tests/test_budget.py
tests/test_chat_providers.py
tests/test_ledger.py
tests/test_properties.py
tests/test_providers.py
tests/test_report.py
tests/test_solvers.py
tests/test_sweep.py