To compile an example, run
g++ `pkg-config --libs --cflags gecode gecode-minimodel gecode-search` example.cc timer.cc support.cc -o example
