PresentWrappingProblem

Implementation of the Present Wrapping Problem in Constraint Programming and SMT

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
instances		instances
instances_dzn		instances_dzn
README.md		README.md
cp.mzn		cp.mzn
smt.py		smt.py

Provide feedback