Begin 0.3.6 development.
Simplify common subexpression detection.
Merge branch 'master' into develop
Merge branch 'develop' of https://github.com/gsdlab/chocosolver into develop
Merge branch 'master' into develop
Merge branch 'develop' of https://github.com/gsdlab/chocosolver into develop
Port to Choco 3.1.2
Fixed set sum for empty and singleton set.
Port to Choco 3.1.2
String IR classes.
Ref to strings with symmetry breaking.
Implemented join with strings.
Implemented string concatenation.
Implemented prefix and suffix.
Rearrange length and chars.
Implemented length.
Fixed PropJoinInjectiveRelationCard not idempotent.
Changed ClaferSearch API.
Throw an exception containing pertinent information when the backend detects that a scope is too small.
Fixed some warnings.