SBT release use FZConcrete by default.
New version 0.8 of sbt-release adds "-main" parameter to launch other classes (eg XCSPConcrete)
Add closestLeq method to BooleanDomain (for LexLeq constraint)
Merge branch 'master' of https://github.com/concrete-cp/concrete
Corrected bug in Interval/BitSet conversion
ParameterManager now detects unused parameters
Dependency updates.