Definition of complex constraints
Refactor constraints
New modelization of constraints.
Refactoring of the algorithm to use these modifications
Adapt implies and excludes CTC to new representation of constraints
Introduce Excludes constraint
Synthesize and export constraints with less or equal comparison, e.g. f
=> a <= 3
Fix export of Xor groups in FAMA
Create sbt project for MatrixGenerator