.gitignore
CHANGELOG.md
LICENSE
Makefile
README.md
env.example
mkdocs.yml
pyproject.toml
requirements-base.txt
.github/workflows/ci.yml
docker/.dockerignore
docker/Dockerfile
docker/Makefile
docker/README.md
docs/adding_a_new_logic.md
docs/architecture.md
docs/contributing.md
docs/deployment-ports.md
docs/file_formats.md
docs/index.md
docs/logic_knowledge_base.md
docs/vitamin-stack.md
docs/IATL/algorithm.md
docs/ICTL/algorithm.md
docs/TCTL/algorithm.md
docs/TOL/algorithm.md
docs/Wallet_ATL/__init__.py
docs/Wallet_ATL/usage.md
docs/api/model_checker.algorithms.explicit.ATL.md
docs/api/model_checker.algorithms.explicit.ATLF.md
docs/api/model_checker.algorithms.explicit.COTL.md
docs/api/model_checker.algorithms.explicit.CTL.md
docs/api/model_checker.algorithms.explicit.CapATL.md
docs/api/model_checker.algorithms.explicit.LTL.md
docs/api/model_checker.algorithms.explicit.NatATL.md
docs/api/model_checker.algorithms.explicit.NatATLF.md
docs/api/model_checker.algorithms.explicit.NatSL.md
docs/api/model_checker.algorithms.explicit.OATL.md
docs/api/model_checker.algorithms.explicit.OL.md
docs/api/model_checker.algorithms.explicit.RABATL.md
docs/api/model_checker.algorithms.explicit.RBATL.md
docs/api/model_checker.algorithms.explicit.SolutionConcepts.md
docs/api/model_checker.algorithms.explicit.md
docs/api/model_checker.algorithms.explicit.shared.atom_utils.md
docs/api/model_checker.algorithms.explicit.shared.bit_vector.md
docs/api/model_checker.algorithms.explicit.shared.boolean_operators.md
docs/api/model_checker.algorithms.explicit.shared.bound_utils.md
docs/api/model_checker.algorithms.explicit.shared.fixpoint_iter.md
docs/api/model_checker.algorithms.explicit.shared.md
docs/api/model_checker.algorithms.explicit.shared.result_formatters.md
docs/api/model_checker.algorithms.explicit.shared.state_utils.md
docs/api/model_checker.algorithms.explicit.shared.strategies_base.md
docs/api/model_checker.algorithms.explicit.shared.trace_utils.md
docs/api/model_checker.algorithms.explicit.shared.verification_result.md
docs/api/model_checker.algorithms.md
docs/api/model_checker.engine.md
docs/api/model_checker.md
docs/api/model_checker.models.model_factory.md
docs/api/model_checker.parsers.formula_parser_factory.md
docs/api/model_checker.parsers.formulas.ATL.md
docs/api/model_checker.parsers.formulas.ATLF.md
docs/api/model_checker.parsers.formulas.CTL.md
docs/api/model_checker.parsers.formulas.CapATL.md
docs/api/model_checker.parsers.formulas.LTL.md
docs/api/model_checker.parsers.formulas.NatATL.md
docs/api/model_checker.parsers.formulas.NatATLF.md
docs/api/model_checker.parsers.formulas.NatSL.md
docs/api/model_checker.parsers.formulas.OATL.md
docs/api/model_checker.parsers.formulas.OL.md
docs/api/model_checker.parsers.formulas.RABATL.md
docs/api/model_checker.parsers.formulas.RBATL.md
docs/api/model_checker.parsers.formulas.common_tokens.md
docs/api/model_checker.parsers.formulas.md
docs/api/model_checker.parsers.formulas.parser_utils.md
docs/api/model_checker.parsers.formulas.shared_parser.md
docs/api/model_checker.parsers.game_structures.cap_cgs.md
docs/api/model_checker.parsers.game_structures.cgs.md
docs/api/model_checker.parsers.game_structures.cost_cgs.md
docs/api/model_checker.parsers.game_structures.md
docs/api/model_checker.parsers.md
docs/api/model_checker.utils.error_handler.md
docs/api/model_checker.utils.md
docs/api/overview.md
model_checker/__init__.py
model_checker/api.py
model_checker/api_integrated.py
model_checker/discovery.py
model_checker/registries.py
model_checker/synthetic_models.py
model_checker/algorithms/__init__.py
model_checker/algorithms/explicit/__init__.py
model_checker/algorithms/explicit/ATL/ATL.py
model_checker/algorithms/explicit/ATL/__init__.py
model_checker/algorithms/explicit/ATL/operators.py
model_checker/algorithms/explicit/ATL/preimage.py
model_checker/algorithms/explicit/ATL/solver.py
model_checker/algorithms/explicit/ATLF/ATLF.py
model_checker/algorithms/explicit/ATLF/__init__.py
model_checker/algorithms/explicit/ATLF/operators.py
model_checker/algorithms/explicit/ATLF/preimage.py
model_checker/algorithms/explicit/ATLF/real_value_utils.py
model_checker/algorithms/explicit/ATLF/solver.py
model_checker/algorithms/explicit/COTL/COTL.py
model_checker/algorithms/explicit/COTL/__init__.py
model_checker/algorithms/explicit/COTL/operators.py
model_checker/algorithms/explicit/COTL/preimage.py
model_checker/algorithms/explicit/COTL/solver.py
model_checker/algorithms/explicit/CTL/CTL.py
model_checker/algorithms/explicit/CTL/__init__.py
model_checker/algorithms/explicit/CTL/fixpoint.py
model_checker/algorithms/explicit/CTL/operators.py
model_checker/algorithms/explicit/CTL/operators_with_trace.py
model_checker/algorithms/explicit/CTL/preimage.py
model_checker/algorithms/explicit/CTL/solver.py
model_checker/algorithms/explicit/CapATL/CapATL.py
model_checker/algorithms/explicit/CapATL/__init__.py
model_checker/algorithms/explicit/CapATL/combinatorics.py
model_checker/algorithms/explicit/CapATL/knowledge.py
model_checker/algorithms/explicit/CapATL/operators.py
model_checker/algorithms/explicit/CapATL/preimage.py
model_checker/algorithms/explicit/CapATL/solver.py
model_checker/algorithms/explicit/CapATL/utils.py
model_checker/algorithms/explicit/IATL/IATL.py
model_checker/algorithms/explicit/IATL/__init__.py
model_checker/algorithms/explicit/IATL/checker.py
model_checker/algorithms/explicit/IATL/operators.py
model_checker/algorithms/explicit/IATL/preimage.py
model_checker/algorithms/explicit/IATL/solver.py
model_checker/algorithms/explicit/IATL/util/__init__.py
model_checker/algorithms/explicit/IATL/util/graph.py
model_checker/algorithms/explicit/IATL/util/validation.py
model_checker/algorithms/explicit/ICTL/ICTL.py
model_checker/algorithms/explicit/ICTL/__init__.py
model_checker/algorithms/explicit/ICTL/checker.py
model_checker/algorithms/explicit/ICTL/operators.py
model_checker/algorithms/explicit/ICTL/preimage.py
model_checker/algorithms/explicit/ICTL/solver.py
model_checker/algorithms/explicit/ICTL/util/__init__.py
model_checker/algorithms/explicit/ICTL/util/generators.py
model_checker/algorithms/explicit/ICTL/util/graph.py
model_checker/algorithms/explicit/ICTL/util/validation.py
model_checker/algorithms/explicit/LTL/LTL.py
model_checker/algorithms/explicit/LTL/__init__.py
model_checker/algorithms/explicit/LTL/pruning.py
model_checker/algorithms/explicit/LTL/strategies.py
model_checker/algorithms/explicit/NatATL/NatATLtoATL.py
model_checker/algorithms/explicit/NatATL/NatATLtoCTL.py
model_checker/algorithms/explicit/NatATL/__init__.py
model_checker/algorithms/explicit/NatATL/natatl_ast.py
model_checker/algorithms/explicit/NatATL/Memoryless/NatATL.py
model_checker/algorithms/explicit/NatATL/Memoryless/__init__.py
model_checker/algorithms/explicit/NatATL/Memoryless/matrix_utils.py
model_checker/algorithms/explicit/NatATL/Memoryless/pruning.py
model_checker/algorithms/explicit/NatATL/Memoryless/solver.py
model_checker/algorithms/explicit/NatATL/Memoryless/strategies.py
model_checker/algorithms/explicit/NatATL/Memoryless/PrefilterATL/__init__.py
model_checker/algorithms/explicit/NatATL/Memoryless/PrefilterATL/natATLmodelChecking.py
model_checker/algorithms/explicit/NatATL/Recall/__init__.py
model_checker/algorithms/explicit/NatATL/Recall/boolean_pruning.py
model_checker/algorithms/explicit/NatATL/Recall/condition_cache.py
model_checker/algorithms/explicit/NatATL/Recall/condition_generation.py
model_checker/algorithms/explicit/NatATL/Recall/natatl_recall.py
model_checker/algorithms/explicit/NatATL/Recall/pruning_core.py
model_checker/algorithms/explicit/NatATL/Recall/regex_parser.py
model_checker/algorithms/explicit/NatATL/Recall/regex_pruning.py
model_checker/algorithms/explicit/NatATL/Recall/solver.py
model_checker/algorithms/explicit/NatATL/Recall/strategy_generation.py
model_checker/algorithms/explicit/NatATL/Recall/strategy_initialization.py
model_checker/algorithms/explicit/NatATL/Recall/tree_building.py
model_checker/algorithms/explicit/NatATL/Recall/tree_structure.py
model_checker/algorithms/explicit/NatATL/Recall/tree_traversal.py
model_checker/algorithms/explicit/NatATL/Recall/witness_parser.py
model_checker/algorithms/explicit/NatATL/Recall/PrefilterATL/__init__.py
model_checker/algorithms/explicit/NatATL/Recall/PrefilterATL/natatl_recall.py
model_checker/algorithms/explicit/NatATLF/NatATL.py
model_checker/algorithms/explicit/NatATLF/__init__.py
model_checker/algorithms/explicit/NatSL/__init__.py
model_checker/algorithms/explicit/NatSL/shared_recall.py
model_checker/algorithms/explicit/NatSL/Alternated/__init__.py
model_checker/algorithms/explicit/NatSL/Alternated/natSL.py
model_checker/algorithms/explicit/NatSL/Sequential/__init__.py
model_checker/algorithms/explicit/NatSL/Sequential/natSL.py
model_checker/algorithms/explicit/OATL/OATL.py
model_checker/algorithms/explicit/OATL/__init__.py
model_checker/algorithms/explicit/OATL/operators.py
model_checker/algorithms/explicit/OATL/preimage.py
model_checker/algorithms/explicit/OATL/solver.py
model_checker/algorithms/explicit/OL/OL.py
model_checker/algorithms/explicit/OL/__init__.py
model_checker/algorithms/explicit/OL/operators.py
model_checker/algorithms/explicit/OL/preimage.py
model_checker/algorithms/explicit/OL/solver.py
model_checker/algorithms/explicit/RABATL/RABATL.py
model_checker/algorithms/explicit/RABATL/__init__.py
model_checker/algorithms/explicit/RABATL/preimage.py
model_checker/algorithms/explicit/RBATL/RBATL.py
model_checker/algorithms/explicit/RBATL/__init__.py
model_checker/algorithms/explicit/RBATL/preimage.py
model_checker/algorithms/explicit/SolutionConcepts/Solution_Concepts.py
model_checker/algorithms/explicit/SolutionConcepts/__init__.py
model_checker/algorithms/explicit/TCTL/TCTL.py
model_checker/algorithms/explicit/TCTL/__init__.py
model_checker/algorithms/explicit/TCTL/evaluators.py
model_checker/algorithms/explicit/TCTL/operators.py
model_checker/algorithms/explicit/TCTL/solver.py
model_checker/algorithms/explicit/TOL/TOL.py
model_checker/algorithms/explicit/TOL/__init__.py
model_checker/algorithms/explicit/TOL/operators.py
model_checker/algorithms/explicit/TOL/preimage.py
model_checker/algorithms/explicit/TOL/solver.py
model_checker/algorithms/explicit/Wallet_ATL/Wallet_ATL.py
model_checker/algorithms/explicit/Wallet_ATL/__init__.py
model_checker/algorithms/explicit/Wallet_ATL/operators.py
model_checker/algorithms/explicit/Wallet_ATL/preimage.py
model_checker/algorithms/explicit/Wallet_ATL/solver.py
model_checker/algorithms/explicit/shared/__init__.py
model_checker/algorithms/explicit/shared/atom_utils.py
model_checker/algorithms/explicit/shared/bit_vector.py
model_checker/algorithms/explicit/shared/boolean_operators.py
model_checker/algorithms/explicit/shared/boolean_semantics.py
model_checker/algorithms/explicit/shared/bound_utils.py
model_checker/algorithms/explicit/shared/bounded_atl_operators.py
model_checker/algorithms/explicit/shared/bounded_atl_preimage.py
model_checker/algorithms/explicit/shared/bounded_atl_solver.py
model_checker/algorithms/explicit/shared/coalition_constraints.py
model_checker/algorithms/explicit/shared/cost_utils.py
model_checker/algorithms/explicit/shared/entry_result_wrappers.py
model_checker/algorithms/explicit/shared/fixpoint_iter.py
model_checker/algorithms/explicit/shared/graph_relations.py
model_checker/algorithms/explicit/shared/model_io.py
model_checker/algorithms/explicit/shared/oatl_index_preimage.py
model_checker/algorithms/explicit/shared/resource_bounded_to_atl.py
model_checker/algorithms/explicit/shared/result_formatters.py
model_checker/algorithms/explicit/shared/state_utils.py
model_checker/algorithms/explicit/shared/strategies_base.py
model_checker/algorithms/explicit/shared/timed_ast_operators.py
model_checker/algorithms/explicit/shared/trace_utils.py
model_checker/algorithms/explicit/shared/verification_builders.py
model_checker/algorithms/explicit/shared/verification_result.py
model_checker/contrib/__init__.py
model_checker/contrib/conformance.py
model_checker/contrib/manifest_schema.py
model_checker/engine/__init__.py
model_checker/engine/atl_prefilter.py
model_checker/engine/execution.py
model_checker/knowledge/__init__.py
model_checker/knowledge/builder.py
model_checker/knowledge/knowledge_bundle.json.gz
model_checker/models/__init__.py
model_checker/models/model_factory.py
model_checker/parsers/__init__.py
model_checker/parsers/formula_parser_factory.py
model_checker/parsers/syntax_patterns.py
model_checker/parsers/formulas/__init__.py
model_checker/parsers/formulas/common_tokens.py
model_checker/parsers/formulas/parser_utils.py
model_checker/parsers/formulas/shared_parser.py
model_checker/parsers/formulas/ATL/__init__.py
model_checker/parsers/formulas/ATL/parser.py
model_checker/parsers/formulas/ATL/generated/parsetab.py
model_checker/parsers/formulas/ATLF/__init__.py
model_checker/parsers/formulas/ATLF/parser.py
model_checker/parsers/formulas/ATLF/generated/parsetab.py
model_checker/parsers/formulas/COTL/__init__.py
model_checker/parsers/formulas/CTL/__init__.py
model_checker/parsers/formulas/CTL/parser.py
model_checker/parsers/formulas/CTL/generated/parsetab.py
model_checker/parsers/formulas/CapATL/__init__.py
model_checker/parsers/formulas/CapATL/parser.py
model_checker/parsers/formulas/CapATL/generated/parsetab.py
model_checker/parsers/formulas/IATL/__init__.py
model_checker/parsers/formulas/IATL/parser.py
model_checker/parsers/formulas/IATL/generated/.gitkeep
model_checker/parsers/formulas/IATL/generated/__init__.py
model_checker/parsers/formulas/IATL/generated/parsetab.py
model_checker/parsers/formulas/ICTL/__init__.py
model_checker/parsers/formulas/ICTL/ictl_ply_parser.py
model_checker/parsers/formulas/ICTL/parser.py
model_checker/parsers/formulas/ICTL/generated/.gitkeep
model_checker/parsers/formulas/ICTL/generated/__init__.py
model_checker/parsers/formulas/LTL/__init__.py
model_checker/parsers/formulas/LTL/ltl_to_ctl.py
model_checker/parsers/formulas/LTL/parser.py
model_checker/parsers/formulas/LTL/generated/parsetab.py
model_checker/parsers/formulas/NatATL/__init__.py
model_checker/parsers/formulas/NatATL/parser.py
model_checker/parsers/formulas/NatATL/generated/parsetab.py
model_checker/parsers/formulas/NatATLF/__init__.py
model_checker/parsers/formulas/NatATLF/parser.py
model_checker/parsers/formulas/NatATLF/generated/parsetab.py
model_checker/parsers/formulas/NatSL/__init__.py
model_checker/parsers/formulas/NatSL/conversion.py
model_checker/parsers/formulas/NatSL/parser.py
model_checker/parsers/formulas/NatSL/utils.py
model_checker/parsers/formulas/NatSL/generated/parsetab.py
model_checker/parsers/formulas/OATL/__init__.py
model_checker/parsers/formulas/OATL/parser.py
model_checker/parsers/formulas/OATL/generated/parsetab.py
model_checker/parsers/formulas/OL/__init__.py
model_checker/parsers/formulas/OL/parser.py
model_checker/parsers/formulas/OL/generated/parsetab.py
model_checker/parsers/formulas/RABATL/__init__.py
model_checker/parsers/formulas/RABATL/parser.py
model_checker/parsers/formulas/RABATL/generated/parsetab.py
model_checker/parsers/formulas/RBATL/__init__.py
model_checker/parsers/formulas/RBATL/parser.py
model_checker/parsers/formulas/RBATL/generated/parsetab.py
model_checker/parsers/formulas/TCTL/__init__.py
model_checker/parsers/formulas/TCTL/parser.py
model_checker/parsers/formulas/TCTL/tctl_ply_parser.py
model_checker/parsers/formulas/TCTL/generated/.gitkeep
model_checker/parsers/formulas/TCTL/generated/__init__.py
model_checker/parsers/formulas/TOL/__init__.py
model_checker/parsers/formulas/TOL/parser.py
model_checker/parsers/formulas/TOL/parser_wrapper.py
model_checker/parsers/formulas/TOL/tol_ply_parser.py
model_checker/parsers/formulas/TOL/generated/.gitkeep
model_checker/parsers/formulas/TOL/generated/__init__.py
model_checker/parsers/formulas/Wallet_ATL/__init__.py
model_checker/parsers/formulas/Wallet_ATL/parser.py
model_checker/parsers/formulas/Wallet_ATL/parser_wrapper.py
model_checker/parsers/formulas/Wallet_ATL/generated/__init__.py
model_checker/parsers/formulas/Wallet_ATL/generated/parsetab.py
model_checker/parsers/game_structures/__init__.py
model_checker/parsers/game_structures/bcgs/__init__.py
model_checker/parsers/game_structures/bcgs/bcgs.py
model_checker/parsers/game_structures/birelational/__init__.py
model_checker/parsers/game_structures/cap_cgs/__init__.py
model_checker/parsers/game_structures/cap_cgs/cap_cgs.py
model_checker/parsers/game_structures/cgs/__init__.py
model_checker/parsers/game_structures/cgs/cgs.py
model_checker/parsers/game_structures/cgs/cgs_actions.py
model_checker/parsers/game_structures/cgs/cgs_file_io.py
model_checker/parsers/game_structures/cgs/cgs_parser.py
model_checker/parsers/game_structures/cgs/cgs_utils.py
model_checker/parsers/game_structures/cgs/cgs_validation.py
model_checker/parsers/game_structures/cgs/protocols.py
model_checker/parsers/game_structures/cost_cgs/__init__.py
model_checker/parsers/game_structures/cost_cgs/cost_cgs.py
model_checker/parsers/game_structures/cost_cgs/cost_cgs_parser.py
model_checker/parsers/game_structures/timed_cgs/__init__.py
model_checker/parsers/game_structures/timed_cgs/formula_clocks.py
model_checker/parsers/game_structures/timed_cgs/regions.py
model_checker/parsers/game_structures/timed_cgs/semantics.py
model_checker/parsers/game_structures/timed_cgs/timed_cgs.py
model_checker/parsers/game_structures/timed_cgs/timed_cgs_parser.py
model_checker/parsers/game_structures/timed_cgs/zone_graph.py
model_checker/parsers/game_structures/timed_cgs/DBM/DBM.py
model_checker/parsers/game_structures/timed_cgs/DBM/__init__.py
model_checker/parsers/game_structures/timed_cgs/DBM/bound.py
model_checker/parsers/game_structures/timed_cgs/DBM/dbm_adapter.py
model_checker/parsers/game_structures/timed_cgs/tests/__init__.py
model_checker/parsers/game_structures/timed_cgs/tests/test_DBM.py
model_checker/parsers/game_structures/timed_cgs/tests/test_dbm_adapter.py
model_checker/parsers/game_structures/timed_cgs/tests/test_timed_cgs_parser.py
model_checker/parsers/game_structures/timed_cgs/tests/test_zone_graph.py
model_checker/parsers/game_structures/wallet_cgs/__init__.py
model_checker/parsers/game_structures/wallet_cgs/wallet_cgs.py
model_checker/tests/README.md
model_checker/tests/conftest.py
model_checker/tests/e2e/__init__.py
model_checker/tests/e2e/test_full_workflows.py
model_checker/tests/fixtures/CGS/ATL/atl_2agents_4states_simple.txt
model_checker/tests/fixtures/CGS/ATL/atl_2agents_4states_strategy.txt
model_checker/tests/fixtures/CGS/ATL/atl_tianji_game_full_2agents_49states.txt
model_checker/tests/fixtures/CGS/CTL/ctl_1agent_4states.txt
model_checker/tests/fixtures/CGS/IATL/iatl_2agents_2states_minimal.txt
model_checker/tests/fixtures/CGS/IATL/iatl_figure2_proposition1.txt
model_checker/tests/fixtures/CGS/LTL/ltl_1agent_3states_minimal.txt
model_checker/tests/fixtures/CGS/NATATL/natatl_1agent_4states_standard.txt
model_checker/tests/fixtures/WalletCGS/WALLET_ATL/wallet_1agent_2states.txt
model_checker/tests/fixtures/capCGS/CAPATL/capatl_3agents_3states_example.txt
model_checker/tests/fixtures/costCGS/COTL/cotl_model.txt
model_checker/tests/fixtures/costCGS/OATL/oatl_3agents_medium_6states_costs.txt
model_checker/tests/fixtures/costCGS/OL/ol_2agents_medium_6states_costs.txt
model_checker/tests/fixtures/costCGS/OL/ol_testvitamin_2agents_8states.txt
model_checker/tests/fixtures/costCGS/RABATL/rabatl_3agents_medium_6states_costs.txt
model_checker/tests/fixtures/costCGS/RBATL/rbatl_3agents_medium_6states_costs.txt
model_checker/tests/fixtures/tests/edge_cases/empty_number_of_agents.txt
model_checker/tests/fixtures/tests/invalid/invalid_initial_state.txt
model_checker/tests/fixtures/tests/invalid/malformed_labelling.txt
model_checker/tests/fixtures/tests/invalid/missing_initial_state.txt
model_checker/tests/fixtures/tests/invalid/missing_name_state.txt
model_checker/tests/fixtures/tests/invalid/missing_number_of_agents.txt
model_checker/tests/fixtures/tests/invalid/missing_transition.txt
model_checker/tests/fixtures/tests/invalid/wrong_transition_dimensions.txt
model_checker/tests/fixtures/timedCGS/tctl_tol_minimal.txt
model_checker/tests/fixtures/timedCGS/tol_cost_2states.txt
model_checker/tests/helpers/__init__.py
model_checker/tests/helpers/model_helpers.py
model_checker/tests/integration/algorithms/__init__.py
model_checker/tests/integration/algorithms/atl/__init__.py
model_checker/tests/integration/algorithms/atl/test_correctness.py
model_checker/tests/integration/algorithms/atl/test_critical_paths.py
model_checker/tests/integration/algorithms/atl/test_empty_coalition.py
model_checker/tests/integration/algorithms/atl/test_fixpoint.py
model_checker/tests/integration/algorithms/atl/test_semantics.py
model_checker/tests/integration/algorithms/capatl/__init__.py
model_checker/tests/integration/algorithms/capatl/test_correctness.py
model_checker/tests/integration/algorithms/cotl/__init__.py
model_checker/tests/integration/algorithms/cotl/conftest.py
model_checker/tests/integration/algorithms/cotl/cotl_test_helpers.py
model_checker/tests/integration/algorithms/cotl/test_correctness.py
model_checker/tests/integration/algorithms/cotl/test_semantics.py
model_checker/tests/integration/algorithms/ctl/__init__.py
model_checker/tests/integration/algorithms/ctl/test_complex_formulas.py
model_checker/tests/integration/algorithms/ctl/test_corner_cases.py
model_checker/tests/integration/algorithms/ctl/test_correctness.py
model_checker/tests/integration/algorithms/ctl/test_ctl_edge_cases.py
model_checker/tests/integration/algorithms/ctl/test_fixpoint.py
model_checker/tests/integration/algorithms/ctl/test_preimage.py
model_checker/tests/integration/algorithms/ctl/test_semantics.py
model_checker/tests/integration/algorithms/ctl/test_trace_generation.py
model_checker/tests/integration/algorithms/iatl/test_correctness.py
model_checker/tests/integration/algorithms/iatl/test_smoke.py
model_checker/tests/integration/algorithms/ictl/test_correctness.py
model_checker/tests/integration/algorithms/ictl/test_smoke.py
model_checker/tests/integration/algorithms/ictl/fixtures/experiment_2x3.txt
model_checker/tests/integration/algorithms/ltl/__init__.py
model_checker/tests/integration/algorithms/ltl/test_correctness.py
model_checker/tests/integration/algorithms/natatl/__init__.py
model_checker/tests/integration/algorithms/natatl/memoryless/__init__.py
model_checker/tests/integration/algorithms/natatl/memoryless/test_correctness.py
model_checker/tests/integration/algorithms/natatl/memoryless/test_semantics.py
model_checker/tests/integration/algorithms/natatl/recall/__init__.py
model_checker/tests/integration/algorithms/natatl/recall/test_correctness.py
model_checker/tests/integration/algorithms/natatl/recall/test_critical_scenarios.py
model_checker/tests/integration/algorithms/natatlf/__init__.py
model_checker/tests/integration/algorithms/natatlf/test_correctness.py
model_checker/tests/integration/algorithms/natsl/__init__.py
model_checker/tests/integration/algorithms/natsl/test_correctness.py
model_checker/tests/integration/algorithms/oatl/__init__.py
model_checker/tests/integration/algorithms/oatl/conftest.py
model_checker/tests/integration/algorithms/oatl/test_correctness.py
model_checker/tests/integration/algorithms/ol/__init__.py
model_checker/tests/integration/algorithms/ol/test_correctness.py
model_checker/tests/integration/algorithms/rabatl/__init__.py
model_checker/tests/integration/algorithms/rabatl/conftest.py
model_checker/tests/integration/algorithms/rabatl/test_correctness.py
model_checker/tests/integration/algorithms/rabatl/test_rbatl_divergence.py
model_checker/tests/integration/algorithms/rbatl/__init__.py
model_checker/tests/integration/algorithms/rbatl/conftest.py
model_checker/tests/integration/algorithms/rbatl/test_correctness.py
model_checker/tests/integration/algorithms/tctl/test_correctness.py
model_checker/tests/integration/algorithms/tol/test_correctness.py
model_checker/tests/integration/algorithms/tol/test_smoke.py
model_checker/tests/integration/algorithms/wallet_atl/test_correctness.py
model_checker/tests/integration/interface/test_model_checker_api.py
model_checker/tests/integration/parsers/__init__.py
model_checker/tests/integration/parsers/test_valid_models_structure.py
model_checker/tests/performance/__init__.py
model_checker/tests/performance/conftest.py
model_checker/tests/performance/performance_helpers.py
model_checker/tests/performance/test_atl_performance.py
model_checker/tests/performance/test_capatl_performance.py
model_checker/tests/performance/test_ctl_performance.py
model_checker/tests/performance/test_ltl_performance.py
model_checker/tests/performance/test_natatl_performance.py
model_checker/tests/performance/test_oatl_performance.py
model_checker/tests/performance/test_scalability.py
model_checker/tests/unit/algorithms/__init__.py
model_checker/tests/unit/algorithms/test_concurrent_model_checking.py
model_checker/tests/unit/algorithms/test_witness_counterexample.py
model_checker/tests/unit/algorithms/atl/__init__.py
model_checker/tests/unit/algorithms/atl/test_fixpoint_cache.py
model_checker/tests/unit/algorithms/atl/test_preimage.py
model_checker/tests/unit/algorithms/ictl/test_validation_negative.py
model_checker/tests/unit/algorithms/ltl/__init__.py
model_checker/tests/unit/algorithms/ltl/test_ltl_to_ctl.py
model_checker/tests/unit/algorithms/natatl/__init__.py
model_checker/tests/unit/algorithms/natatl/test_matrix_parser.py
model_checker/tests/unit/algorithms/natatl/recall/__init__.py
model_checker/tests/unit/algorithms/natatl/recall/test_boolean_pruning.py
model_checker/tests/unit/algorithms/natatl/recall/test_strategy_generation.py
model_checker/tests/unit/algorithms/natatl/recall/test_tree_building.py
model_checker/tests/unit/algorithms/natatlf/test_result_format.py
model_checker/tests/unit/algorithms/oatl/__init__.py
model_checker/tests/unit/algorithms/oatl/test_preimage.py
model_checker/tests/unit/algorithms/ol/__init__.py
model_checker/tests/unit/algorithms/ol/test_preimage.py
model_checker/tests/unit/algorithms/rabatl/__init__.py
model_checker/tests/unit/algorithms/rabatl/test_preimage.py
model_checker/tests/unit/algorithms/rbatl/__init__.py
model_checker/tests/unit/algorithms/rbatl/test_preimage.py
model_checker/tests/unit/algorithms/shared/__init__.py
model_checker/tests/unit/algorithms/shared/test_bounded_atl_initial_state.py
model_checker/tests/unit/algorithms/shared/test_state_utils.py
model_checker/tests/unit/models/test_model_type_detection.py
model_checker/tests/unit/parsers/__init__.py
model_checker/tests/unit/parsers/test_syntax_patterns.py
model_checker/tests/unit/parsers/formulas/__init__.py
model_checker/tests/unit/parsers/formulas/test_atl_empty_coalition.py
model_checker/tests/unit/parsers/formulas/test_ctl_prevalidation.py
model_checker/tests/unit/parsers/formulas/test_formula_parsers_smoke.py
model_checker/tests/unit/parsers/formulas/test_iatl_parser.py
model_checker/tests/unit/parsers/formulas/test_ictl_parser.py
model_checker/tests/unit/parsers/formulas/test_natatl_capacity_syntax.py
model_checker/tests/unit/parsers/formulas/test_natsl_conversion.py
model_checker/tests/unit/parsers/formulas/test_natsl_not_eventually.py
model_checker/tests/unit/parsers/formulas/test_natsl_uppercase.py
model_checker/tests/unit/parsers/formulas/test_ol_canonical_syntax.py
model_checker/tests/unit/parsers/formulas/test_ol_j0_syntax.py
model_checker/tests/unit/parsers/formulas/test_parser_stress.py
model_checker/tests/unit/parsers/formulas/test_proposition_identifier.py
model_checker/tests/unit/parsers/formulas/test_release_weak_rejected.py
model_checker/tests/unit/parsers/formulas/test_tctl_tol_parser.py
model_checker/tests/unit/parsers/formulas/test_uppercase_propositions.py
model_checker/tests/unit/parsers/formulas/test_wallet_atl_parser.py
model_checker/tests/unit/parsers/models/__init__.py
model_checker/tests/unit/parsers/models/test_cgs_api.py
model_checker/tests/unit/parsers/models/test_cgs_parser.py
model_checker/tests/unit/parsers/models/test_cgs_validation.py
model_checker/tests/unit/parsers/models/test_cost_cgs_parser.py
model_checker/tests/unit/parsers/models/test_model_file_parsing.py
model_checker/tests/unit/utils/__init__.py
model_checker/tests/unit/utils/test_bit_vector.py
model_checker/utils/__init__.py
model_checker/utils/error_handler.py
model_checker/utils/formula_tree.py
model_checker/utils/literals.py
vitamin_model_checker.egg-info/PKG-INFO
vitamin_model_checker.egg-info/SOURCES.txt
vitamin_model_checker.egg-info/dependency_links.txt
vitamin_model_checker.egg-info/entry_points.txt
vitamin_model_checker.egg-info/requires.txt
vitamin_model_checker.egg-info/top_level.txt