README.md
pyproject.toml
setup.py
opoly/__init__.py
opoly/dummy.py
opoly/expressions.py
opoly/indexes.py
opoly/statements.py
opoly/variables.py
opoly.egg-info/PKG-INFO
opoly.egg-info/SOURCES.txt
opoly.egg-info/dependency_links.txt
opoly.egg-info/entry_points.txt
opoly.egg-info/requires.txt
opoly.egg-info/top_level.txt
opoly/modules/__init__.py
opoly/modules/allocator.py
opoly/modules/checker.py
opoly/modules/detector.py
opoly/modules/generator.py
opoly/modules/parser.py
opoly/modules/scanner.py
opoly/modules/scheduler.py
opoly/modules/minizinc/__init__.py
opoly/modules/minizinc/utils.py
opoly/modules/minizinc/libraries/determinant.mzn
opoly/modules/minizinc/models/lamport_allocator.mzn
opoly/modules/minizinc/models/lamport_scheduler.mzn
opoly/scripts/__init__.py
opoly/scripts/opoly.py
opoly/scripts/opoly_compile.py
tests/__init__.py
tests/test_dummy.py
tests/test_expressions.py
tests/test_indexes.py
tests/test_statements.py
tests/test_variables.py
tests/modules/__init__.py
tests/modules/test_allocator.py
tests/modules/test_checker.py
tests/modules/test_detector.py
tests/modules/test_generator.py
tests/modules/test_parser.py
tests/modules/test_scanner.py
tests/modules/test_scheduler.py
tests/modules/integration/__init__.py
tests/modules/integration/test_parser_allocator.py
tests/modules/integration/test_parser_checker.py
tests/modules/integration/test_parser_detector.py
tests/modules/integration/test_parser_generator.py
tests/modules/integration/test_parser_scanner.py
tests/modules/integration/test_parser_scheduler.py