| Added Xor constraint |
|
More...
|
about 8 years ago
|
| Moved MDDGenerator to concrete.util, MiniZinc primitive for sliding_sum |
|
More...
|
about 8 years ago
|
| Xlint refactoring, corrections to SQLWriter and Table |
|
More...
|
about 8 years ago
|
| MDD.reduce() did not check from traversing a node twice |
|
More...
|
about 8 years ago
|
| Solver now return UNKNOWNResult when timeout, so that some statistics are updated. |
|
More...
|
about 8 years ago
|
| domain.checks statistic was not updated, corrected |
|
More...
|
about 8 years ago
|
| Updated Scala version in .travis.yml |
|
More...
|
about 8 years ago
|
| Various works (sorry) |
|
More...
|
about 8 years ago
|
| Upgrade of various dependencies and sbt plugins. Moved configuration files to conf/ folder |
|
More...
|
about 8 years ago
|
| Redifinitions for lex_less_int and nevec |
|
More...
|
about 8 years ago
|
| Work on MDDs: optimizations, added MDDLink and variants |
|
More...
|
over 8 years ago
|
| Added ProblemState.updateDomNoEmptyNoCheck |
|
More...
|
over 8 years ago
|
| Replaced require with assert for performance |
|
More...
|
over 8 years ago
|
| Added debug log to ScoredVariableHeuristic |
|
More...
|
over 8 years ago
|
| Added id display in Constraint.toString, improved trace log |
|
More...
|
over 8 years ago
|
| Some optimization on STR |
|
More...
|
over 8 years ago
|
| Added "foreach" methods to domains (performance boost over iterators!), added simple Circuit constraint based on strongly connected components, various debugging |
|
More...
|
over 8 years ago
|
| Changes to use new CSPOMGoal construct |
|
More...
|
over 8 years ago
|
| Updated SQLWriter tools to new Slick 3.1 API |
|
More...
|
over 8 years ago
|
| Changed writers to display statistics after each solution ; corrected a bug in SparseSet |
|
More...
|
over 8 years ago
|
| Implemented ProblemState.activeConstraints |
|
More...
|
over 8 years ago
|
| Some work on AllDifferent, BitVectorDomain.offset and Domain.intersects |
|
More...
|
over 8 years ago
|
| Optimized AllDifferent2/BC and EqAC constraints. New offset(Int) method on Domain. |
|
More...
|
over 8 years ago
|
| * Still some scapegoat-refactoring * Moved Gephi to external project * New cluster package |
|
More...
|
over 8 years ago
|
| * CSPOM 2.7-SNAPSHOT * Installed Scapegoat plugin, some refactoring |
|
More...
|
over 8 years ago
|
| * Added graph visualization using Gephi * Removed id-based updates in ProblemStates as it was generating bugs * Added stateless linear constraints |
|
More...
|
over 8 years ago
|
| Various dependency updates |
|
More...
|
over 8 years ago
|
| Concrete 3.0-B3 version |
|
More...
|
over 8 years ago
|
| SkewHeap and HeapSet classes (not tested) |
|
More...
|
over 8 years ago
|
| Added Interval.shrink method |
|
More...
|
over 8 years ago
|
