Changed the API of generators for better control
XCSPConcrete now uses CSC tool to control solutions
Renamed Interval.in to Interval.contains.
BitVectorSet and IntervalSet now forbids singleton sets.
Rewritten findValideTuple0 for better readability. Probably lost some
performance as indexes are sought twice.
New constraint type: a * b = k
Renamed Interval.in to Interval.contains.
New constraint type |a-b|=k
Conversion of a + k = b to Equality constraint is now a CSPOM pattern
Conversion of a - b = c to a = b + c is now a CSPOM pattern
Singleton intervals are now detected and instanciated as Singleton
domain types.
Changed the API of generators for better control
Slight changes to avoid warnings
Upgraded scalaVersion to 2.10.3