LICENSE
MANIFEST.in
PACKAGING.md
README.md
RECIPE_GUIDE.md
pyproject.toml
requirements.txt
assets/logo.png
examples/complete.json
examples/complete_from_init_cmd.json
examples/custom_from_init.json
examples/errors.json
examples/minimal.json
examples/minimal2.json
examples/wpa2.json
examples/__protocols__/MinimalInjectiveFact.spthy
examples/__protocols__/Minimal_HashChain.spthy
examples/__protocols__/SimpleChallengeResponse.spthy
examples/__protocols__/errors.spthy
examples/__protocols__/wpa2.spthy
src/batch_tamarin/__init__.py
src/batch_tamarin/main.py
src/batch_tamarin/runner.py
src/batch_tamarin.egg-info/PKG-INFO
src/batch_tamarin.egg-info/SOURCES.txt
src/batch_tamarin.egg-info/dependency_links.txt
src/batch_tamarin.egg-info/entry_points.txt
src/batch_tamarin.egg-info/requires.txt
src/batch_tamarin.egg-info/top_level.txt
src/batch_tamarin/commands/__init__.py
src/batch_tamarin/commands/check.py
src/batch_tamarin/commands/init.py
src/batch_tamarin/commands/run.py
src/batch_tamarin/model/__init__.py
src/batch_tamarin/model/executable_task.py
src/batch_tamarin/model/tamarin_recipe.py
src/batch_tamarin/modules/__init__.py
src/batch_tamarin/modules/cache_manager.py
src/batch_tamarin/modules/config_manager.py
src/batch_tamarin/modules/lemma_parser.py
src/batch_tamarin/modules/output_manager.py
src/batch_tamarin/modules/process_manager.py
src/batch_tamarin/modules/resource_manager.py
src/batch_tamarin/modules/tamarin_test_cmd.py
src/batch_tamarin/modules/task_manager.py
src/batch_tamarin/utils/__init__.py
src/batch_tamarin/utils/compatibility_filter.py
src/batch_tamarin/utils/model_checking.py
src/batch_tamarin/utils/notifications.py
src/batch_tamarin/utils/system_resources.py
tests/test_cache_manager.py
tests/test_config_manager.py
tests/test_integration.py
tests/test_lemma_parser.py