describe the purpose of the project
describe how to compile and link the example program
create a Makefile to automate the construction of the example
minimal example with Gecode
compile with c++11
Introduce a reified constraint
constrain y to 'corresponding' values depending on x
pass the values in to the constructor