Open Hub
Open Hub

 Settings |  Report Duplicate

1
I Use This!
Inactive

Commits : Listings

Analyzed about 10 hours ago. based on code collected about 11 hours ago.
Oct 29, 2024 — Oct 29, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Corrected output format for MiniZinc challenge (=== line only when search is complete)
scand1sk
as Julien Vion
More... over 9 years ago
Splitted Occurrence into AtLeast/AtMost (for XCSP3)
scand1sk
as Julien Vion
More... over 9 years ago
Moved mzn_lib into resources so that it appears in packages
scand1sk
as Julien Vion
More... over 9 years ago
Better handling of CSPOM goals (CSPOM 2.9 incoming), BooleanDomains objects enclosed in BooleanDomain and reimplementation of Regular to MDD conversion.
scand1sk
as Julien Vion
More... over 9 years ago
Bug in clearFrom collected. Update to CSPOM 2.8.1/Concrete 3.1.1
scand1sk
as Julien Vion
More... over 9 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.
scand1sk
as Julien Vion
More... over 9 years ago
Removed redefinition of array_bool_or that was causing bugs in MiniZinc compiler
scand1sk
as Julien Vion
More... over 9 years ago
Corrected instance file for ProblemGeneratorTest
scand1sk
as Julien Vion
More... over 9 years ago
Native-packager update
scand1sk
as Julien Vion
More... over 9 years ago
SumDomains uses RangeSet again to filter NEs. Corrected problem names in ProblemGeneratorTest.
scand1sk
as Julien Vion
More... over 9 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.
scand1sk
as Julien Vion
More... over 9 years ago
Changed version number to 3.0
scand1sk
as Julien Vion
More... over 9 years ago
Disabled assertions in build.sbt. Removed printlns in MDDLinkTest
scand1sk
as Julien Vion
More... over 9 years ago
Updated version number for CSPOM 2.7
scand1sk
as Julien Vion
More... over 9 years ago
Use of BitVector in Removals
scand1sk
as Julien Vion
More... over 9 years ago
Updated MDD conversion of Knapsack, Regular and SlidingSum constraints
scand1sk
as Julien Vion
More... over 9 years ago
Added logback.xml in conf directory (where did it go?)
scand1sk
as Julien Vion
More... over 9 years ago
Updated tools (MDDStats, SQL backend) for MDD experiments
scand1sk
as Julien Vion
More... over 9 years ago
Various (sorry)
scand1sk
as Julien Vion
More... over 9 years ago
ExtensionGenerator uses BDD by default
scand1sk
as Julien Vion
More... over 9 years ago
Update due to CSPOM VariableCompiler change of API. MDDs are reduced when generated as BDD are.
scand1sk
as Julien Vion
More... over 9 years ago
Moved CSPOMSolver and CSPOMSolution to external file
scand1sk
as Julien Vion
More... over 9 years ago
Changed ParameterManager from HashMap to SortedMap to avoid hash indeterminism
scand1sk
as Julien Vion
More... over 9 years ago
Added handling of iteration parameter
scand1sk
as Julien Vion
More... over 9 years ago
Cleaning/debugging SparseSeq and link from Parameter to ConcreteWriter
scand1sk
as Julien Vion
More... over 9 years ago
Another bug in SparseSeq
scand1sk
as Julien Vion
More... over 9 years ago
Corrected bug with SparseSeq.remove indices
scand1sk
as Julien Vion
More... over 9 years ago
Missing files
scand1sk
as Julien Vion
More... over 9 years ago
Optimizations and refactorings
scand1sk
as Julien Vion
More... over 9 years ago
Moved Generators packages
scand1sk
as Julien Vion
More... over 9 years ago