README.md
pyproject.toml
pycsp3_solvers_extra/__init__.py
pycsp3_solvers_extra/competition.py
pycsp3_solvers_extra/loader.py
pycsp3_solvers_extra/solver.py
pycsp3_solvers_extra.egg-info/PKG-INFO
pycsp3_solvers_extra.egg-info/SOURCES.txt
pycsp3_solvers_extra.egg-info/dependency_links.txt
pycsp3_solvers_extra.egg-info/requires.txt
pycsp3_solvers_extra.egg-info/top_level.txt
pycsp3_solvers_extra/backends/__init__.py
pycsp3_solvers_extra/backends/base.py
pycsp3_solvers_extra/backends/cpo_backend.py
pycsp3_solvers_extra/backends/ortools_backend.py
pycsp3_solvers_extra/backends/pumpkin_backend.py
pycsp3_solvers_extra/backends/z3_backend.py
pycsp3_solvers_extra/transforms/__init__.py
pycsp3_solvers_extra/transforms/capabilities.py
pycsp3_solvers_extra/transforms/context.py
pycsp3_solvers_extra/transforms/decompose.py
pycsp3_solvers_extra/transforms/normalize.py
pycsp3_solvers_extra/transforms/pipeline.py
pycsp3_solvers_extra/transforms/rewrite.py
pycsp3_solvers_extra/transforms/types.py
pycsp3_solvers_extra/utils/__init__.py
tests/test_base.py
tests/test_competition_output.py
tests/test_cpo_constraints.py
tests/test_loader.py
tests/test_ortools_constraints.py
tests/test_pumpkin_constraints.py
tests/test_solver.py
tests/test_z3_constraints.py