Corrected output format for MiniZinc challenge (=== line only when search is complete) |
|
More...
|
almost 8 years ago
|
Splitted Occurrence into AtLeast/AtMost (for XCSP3) |
|
More...
|
almost 8 years ago
|
Moved mzn_lib into resources so that it appears in packages |
|
More...
|
almost 8 years ago
|
Better handling of CSPOM goals (CSPOM 2.9 incoming), BooleanDomains objects enclosed in BooleanDomain and reimplementation of Regular to MDD conversion. |
|
More...
|
almost 8 years ago
|
Bug in clearFrom collected. Update to CSPOM 2.8.1/Concrete 3.1.1 |
|
More...
|
almost 8 years ago
|
3.1 release. Reintroduced MatrixGeneral, reimplementation of BitVectorDomain.removeUntil using shifts. Removed requirements or changed to assertions to improve speed. Added MergeRelations compiler. |
|
More...
|
almost 8 years ago
|
Removed redefinition of array_bool_or that was causing bugs in MiniZinc compiler |
|
More...
|
almost 8 years ago
|
Corrected instance file for ProblemGeneratorTest |
|
More...
|
about 8 years ago
|
Native-packager update |
|
More...
|
about 8 years ago
|
SumDomains uses RangeSet again to filter NEs. Corrected problem names in ProblemGeneratorTest. |
|
More...
|
about 8 years ago
|
CSPOM domain generators now rely on faster bound propagation only. All test instances are now compressed in .xz format. Added XCSP3 support and tests. |
|
More...
|
about 8 years ago
|
Changed version number to 3.0 |
|
More...
|
about 8 years ago
|
Disabled assertions in build.sbt. Removed printlns in MDDLinkTest |
|
More...
|
about 8 years ago
|
Updated version number for CSPOM 2.7 |
|
More...
|
about 8 years ago
|
Use of BitVector in Removals |
|
More...
|
about 8 years ago
|
Updated MDD conversion of Knapsack, Regular and SlidingSum constraints |
|
More...
|
about 8 years ago
|
Added logback.xml in conf directory (where did it go?) |
|
More...
|
about 8 years ago
|
Updated tools (MDDStats, SQL backend) for MDD experiments |
|
More...
|
about 8 years ago
|
Various (sorry) |
|
More...
|
about 8 years ago
|
ExtensionGenerator uses BDD by default |
|
More...
|
about 8 years ago
|
Update due to CSPOM VariableCompiler change of API. MDDs are reduced when generated as BDD are. |
|
More...
|
about 8 years ago
|
Moved CSPOMSolver and CSPOMSolution to external file |
|
More...
|
about 8 years ago
|
Changed ParameterManager from HashMap to SortedMap to avoid hash indeterminism |
|
More...
|
about 8 years ago
|
Added handling of iteration parameter |
|
More...
|
about 8 years ago
|
Cleaning/debugging SparseSeq and link from Parameter to ConcreteWriter |
|
More...
|
about 8 years ago
|
Another bug in SparseSeq |
|
More...
|
about 8 years ago
|
Corrected bug with SparseSeq.remove indices |
|
More...
|
about 8 years ago
|
Missing files |
|
More...
|
about 8 years ago
|
Optimizations and refactorings |
|
More...
|
about 8 years ago
|
Moved Generators packages |
|
More...
|
about 8 years ago
|