| Added the XCSP3 "count" constraint with multiple values/variables to count (represented as a sum of count constraints). |
|
More...
|
over 6 years ago
|
| Added UTF8 symbols for sets |
|
More...
|
over 6 years ago
|
| Added ACCSE, compilers at the problem level, and CSPOMSeq indexation |
|
More...
|
over 6 years ago
|
| Moved expression data to ExpressionMap (so that constraints can be freed from memory once the problem has been parsed) |
|
More...
|
over 6 years ago
|
| Version 2.18. Mise à jour pour MDD 1.5.1, bugs intersection int/empty corrigés |
|
More...
|
almost 7 years ago
|
| Some optimizations for 2.17 release |
|
More...
|
almost 7 years ago
|
| 2.15 release. Uses MDD 1.4.0, removed XCSP2 parser, a few improvements |
|
More...
|
almost 7 years ago
|
| Improvement for XCSP3 competition |
|
More...
|
almost 7 years ago
|
| Externalization of MDDs, update of XCSP3 parser |
|
More...
|
almost 7 years ago
|
| Merge branch 'master' of https://github.com/concrete-cp/cspom |
|
More...
|
almost 7 years ago
|
| Increased error margin for StatisticsManager time measurement |
|
More...
|
almost 7 years ago
|
| Merge branch 'master' of https://github.com/concrete-cp/cspom |
|
More...
|
about 7 years ago
|
| Changement de type pour getContainers |
|
More...
|
about 7 years ago
|
| Mise à jour des dépendances, suppression des import inutiles |
|
More...
|
about 7 years ago
|
| Suppression de la javadoc obsolète |
|
More...
|
about 7 years ago
|
| Added badges to README.md |
|
More...
|
about 7 years ago
|
| Changed version to 2.12-SNAPSHOT |
|
More...
|
about 7 years ago
|
| 2.11 release |
|
More...
|
about 7 years ago
|
| Removed microbenchmarks to make coverage tests faster |
|
More...
|
about 7 years ago
|
| Added coverage generation for Travis |
|
More...
|
about 7 years ago
|
| Corrected ReduceRelation: empty relation can also be for universal constraint. Emits a warning instead of exception. |
|
More...
|
about 7 years ago
|
| Updated sbt-logging version |
|
More...
|
about 7 years ago
|
| Moved bit vectors to external project |
|
More...
|
about 7 years ago
|
| Added SCoverage plugin, corrected a few Codacity issues. |
|
More...
|
about 7 years ago
|
| Updated Scala version to 2.12.1 in travis.yml |
|
More...
|
about 7 years ago
|
| Changed Set to Seq to avoid indeterminism. |
|
More...
|
about 7 years ago
|
| Dendency updates. getContainers now returns an immutable Set to avoid issues when containers are dynamically changed in replaceExpression. |
|
More...
|
about 7 years ago
|
| Changed Scala version to 2.12.1 |
|
More...
|
over 7 years ago
|
| Finished (?) work on FlatZincFastParser |
|
More...
|
over 7 years ago
|
| Enabled FlatZincFastParser |
|
More...
|
over 7 years ago
|
