LICENSE
README.md
pyproject.toml
src/skipalignments/__init__.py
src/skipalignments/alignall.py
src/skipalignments/alignment.py
src/skipalignments/derivation.py
src/skipalignments/execution.py
src/skipalignments/ppt.py
src/skipalignments/probabilities.py
src/skipalignments/processtree.py
src/skipalignments/progress.py
src/skipalignments/skips.py
src/skipalignments.egg-info/PKG-INFO
src/skipalignments.egg-info/SOURCES.txt
src/skipalignments.egg-info/dependency_links.txt
src/skipalignments.egg-info/requires.txt
src/skipalignments.egg-info/top_level.txt
src/skipalignments/util/__init__.py
src/skipalignments/util/release_check.py
tests/test_alignall_cycle_guard.py
tests/test_alignall_is_closed.py
tests/test_alignall_multiprocessing.py
tests/test_alignall_search_performance.py
tests/test_alignall_tau_cost.py
tests/test_alignall_tie_explosion.py
tests/test_alignment_closed_set.py
tests/test_alignment_deprecation.py
tests/test_alignment_mapper.py
tests/test_alignment_unfold_execution_bounds.py
tests/test_derivation_construction_redundancy.py
tests/test_derivation_toothpaste.py
tests/test_end_to_end_scenarios.py
tests/test_execution.py
tests/test_external_usage.py
tests/test_masked_execution_review_cases.py
tests/test_package_version.py
tests/test_ppt.py
tests/test_probabilities_build_petri_net.py
tests/test_progress.py
tests/test_run_example.py
tests/test_skips.py
tests/test_slpn_weighting.py