Models and instances used in the Half reification and Flattening paper submitted to CP'2011.

• QCP-Max : quasi-group completion problem with soft alldifferent.
  • The Model.
  • List of files.
  • Download all files(tarball).
• RCPSP : Resource Constrained Project Scheduling Problem. Instances are from PSPLib.
  • The Model.
  • List of files.
  • Download all files(tarball).
• Prize : A prize collecting problem. Collect prizes along a graph, visiting each node at most once. Some edges have a negative prize.
  • The Model.
  • List of files.
  • Download all files(tarball).