TODO list - port flatzinc parser from Gecode - implement necessary new constraints to suit flatzinc DONE list