README.md
pyproject.toml
pycsp3_solvers_extra/__init__.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/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_cpo_constraints.py
tests/test_ortools_constraints.py
tests/test_z3_constraints.py