| Added PrizeCollecting to slow tests |
|
More...
|
almost 8 years ago
|
| Corrected some tests |
|
More...
|
almost 8 years ago
|
| Enhanced README, implemented ACCSE for sum, clauses and min/max constraints. Various refactoring/debugging. |
|
More...
|
almost 8 years ago
|
| Written a more complete README for 3.6 release. Some bugs corrected. |
|
More...
|
almost 8 years ago
|
| Merge branch 'master' of https://github.com/concrete-cp/concrete |
|
More...
|
almost 8 years ago
|
| Tag some SolvingTests as slow. Corrected bug in MAC when UNSAT could be detected upon restart if stack is empty. |
|
More...
|
almost 8 years ago
|
| Tag some SolvingTests as slow. Corrected bug in MAC when UNSAT could be detected upon restart if stack is empty. |
|
More...
|
almost 8 years ago
|
| Too many changes to detail here. Work on heuristics, nogood learning, rewrite stack management, "removals" are computed for all constraints, many bugs fixed. |
|
More...
|
almost 8 years ago
|
| Plugin upgrades |
|
More...
|
almost 8 years ago
|
| Many improvements following MZNC2017: problem goals, TreeSetDomain, BDD/MDD, Pow pattern, revamped heuristics, WArcs, BestCost and bugs |
|
More...
|
about 8 years ago
|
| Merge Pow.scala, désactivation log buffer pour les tests |
|
More...
|
over 8 years ago
|
| Merge branch 'master' of https://github.com/concrete-cp/concrete |
|
More...
|
over 8 years ago
|
| Actual 3.5 releases after more optim and debugging, upgraded Scala to 2.12.3 |
|
More...
|
over 8 years ago
|
| Actual 3.5 releases after more optim and debugging, upgraded Scala to 2.12.3 |
|
More...
|
over 8 years ago
|
| Some optimizations for 3.5 release |
|
More...
|
over 8 years ago
|
| Reverted TestMAC test. Corrected warnings. |
|
More...
|
over 8 years ago
|
| 3.4 release. Uses CSPOM 2.15 with improved MDD parsing. Greatly improved WDeg Variable heuristic incrementality. |
|
More...
|
over 8 years ago
|
| Many improvement for XCSP3 competition (version 3.3.1) |
|
More...
|
over 8 years ago
|
| Bug corrections and refactorings towards XCSP3 competition |
|
More...
|
over 8 years ago
|
| Correted ScalaStyle warnings, debug on Knapsack to MDD conversion |
|
More...
|
over 8 years ago
|
| Merge branch 'master' of https://github.com/concrete-cp/concrete |
|
More...
|
over 8 years ago
|
| Mise à jour des dépendances |
|
More...
|
over 8 years ago
|
| Transfert EliteBook (?) |
|
More...
|
over 8 years ago
|
| Added NeqReif constraint and generators. Corrected Artifact reference for Maven Badge in README.me |
|
More...
|
over 8 years ago
|
| Merge branch 'master' of https://github.com/concrete-cp/concrete.git |
|
More...
|
over 8 years ago
|
| Cleaned some methods from ProblemState for Codacy. |
|
More...
|
over 8 years ago
|
| Cleaned some methods from ProblemState for Codacy. |
|
More...
|
over 8 years ago
|
| Corrected CSPOM version |
|
More...
|
over 8 years ago
|
| 3.2 release |
|
More...
|
over 8 years ago
|
| Added badges to README.md |
|
More...
|
over 8 years ago
|