This directory contains resources for the paper

• Time-Table Edge-Finding with Energy Variables Authors: Moli Yang, Andreas Schutt and Peter J. Stuckey [PDF]

The two benchmarks are

• Rectangle Packing
  • Model: rectpack-tt.mzn
  • Model: rectpack-ttef.mzn
  • Model: rectpack-ttefen.mzn
  • Data: rect-data.zip
• Evacuation Planning
  • Model: evacuation-tt.mzn
  • Model: evacuation-ttef.mzn
  • Model: evacuation-ttefen.mzn
  • Data: evac-data.zip