Exercise 2
----------
Model and solve cspLib prob001: car sequencing

See the directory http://www.dcs.gla.ac.uk/~pat/cpM/JChoco/carSequencing/

1.
You are to write a program that models and solves the car sequencing problem.
 - Your program must be written in java and use JChoco.
 - Your program must run from the command line
 - The program must have certified output (as described in lecture 26/10/10)

The program must be run as follows

  java Solve fname limit

where Solve is the class that models and solves the car sequencing problem,
fname is a file name of a car sequencing problem, and limit is an integer
limit on the number of nodes allowed in the search.

The program must be as above otherwise it cannot be tested and marked.
Your program will be compiled and run from the test.bat job file.

2.
Write a short report, two pages maximum.
 - describe your model
 - describe any heuristics used and how they perform
 - describe any experiments performed on alternative models or heuristics
 - consider the size of your model, i.e. how many variables and constraints
   as a function of inputted problem
 - consider any alternative models, if applicable.

3.
Submit by email, on or before 12 o@clock (mid-day) 26/11/10, your
java code (to be compiled, run and tested, and read by myself) and report

Marks will be deducted for poor quality programming, and poor English and 
spelling in the report


Patrick Prosser 26/10/10