All the resources are available in a tar.gz file. For each benchmark used in the experimental section, a subdirectory is included containing the following files (where name is the name of the benchmark):

• parameters.txt: Text file listing parameters used for experiments.
• name_hand.mzn: Hand written model used for comparison (in minizinc).
• name.dzn: Sample data file for one instance.
• name_auto.mzn: Automatically generated model for sample instance.
• Java: Directory containing relevant Java code (class implementing 'Solution' interface and dependencies).

The Java directory for the first project planning example (projplan1) also includes the transformed code generated at compile time, and a class ProjectDisplay demonstrating how optimisation is triggered. All automatically generated classes have names beginning with underscore.

The file extraglobals.mzn contains minizinc predicates used in the auto-generated models.

The resources are available in a tar.gz file. For each benchmark used in the paper, a subdirectory is included containing the following:

• problem_hand.mzn: Hand written optimisation model (in minizinc).
• Java: Java code defining the same problem.
• Instances: Instance files (in minizinc and SMT-LIB 2.0). All instance file names have the following format: translation_problem_instance_size1_size2.

The file extraglobals.mzn contains minizinc predicates used in some auto-generated models.