LICENCE
README.md
pyproject.toml
src/__init__.py
src/model_checker/__init__.py
src/model_checker/__main__.py
src/model_checker/builder.py
src/model_checker/defined.py
src/model_checker/examples.py
src/model_checker/model.py
src/model_checker/primitive.py
src/model_checker/semantic.py
src/model_checker/syntactic.py
src/model_checker/utils.py
src/model_checker.egg-info/PKG-INFO
src/model_checker.egg-info/SOURCES.txt
src/model_checker.egg-info/dependency_links.txt
src/model_checker.egg-info/entry_points.txt
src/model_checker.egg-info/requires.txt
src/model_checker.egg-info/top_level.txt
src/model_checker/theory_lib/champollion/__init__.py
src/model_checker/theory_lib/champollion/examples.py
src/model_checker/theory_lib/champollion/operators.py
src/model_checker/theory_lib/champollion/semantic.py
src/model_checker/theory_lib/default/__init__.py
src/model_checker/theory_lib/default/examples.py
src/model_checker/theory_lib/default/operators.py
src/model_checker/theory_lib/default/semantic.py
test/test_champollion.py
test/test_constitutive.py
test/test_counterfactuals.py
test/test_extensional.py
test/test_imposition.py
test/test_modals.py
test/test_relevance.py