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
Merge pull request #2 from codacy-badger/codacy-badge
scand1sk
as Julien Vion
More... over 8 years ago
Add Codacy badge
The Codacy Badger
More... over 8 years ago
Completed travis.yml, added integration tests
scand1sk
as Julien Vion
More... over 8 years ago
Reduced the number of queens in TestMAC for tests
scand1sk
as Julien Vion
More... over 8 years ago
Merge branch 'master' of https://github.com/concrete-cp/concrete
scand1sk
as Julien Vion
More... over 8 years ago
Added coverage generation for Travis
scand1sk
as Julien Vion
More... over 8 years ago
Added coverage generation for Travis
scand1sk
as Julien Vion
More... over 8 years ago
Many bugs corrected. Version used for winter break experiments (LBV).
scand1sk
as Julien Vion
More... over 8 years ago
Better management of identical variables in Element constraint (added ElementRI)
scand1sk
as Julien Vion
More... over 8 years ago
Added management of reified (unregistered) constraints in EntailmentManager
scand1sk
as Julien Vion
More... over 8 years ago
Update Slick to 3.2.0-RC1
scand1sk
as Julien Vion
More... over 8 years ago
Many bug fixes
scand1sk
as Julien Vion
More... over 8 years ago
Moved longTest to it tests
scand1sk
as Julien Vion
More... over 8 years ago
Changed bit vectors package
scand1sk
as Julien Vion
More... over 8 years ago
Updated Scala version in travis.yml. Updated native-packager and reverted logback-test verbosity to warn.
scand1sk
as Julien Vion
More... over 8 years ago
Various changes. Contradiction includes information about the source of contradiction (empty domain or disentailed constraint) Corrected nodes/edges/vertices counts in MDD and BDD.
scand1sk
as Julien Vion
More... over 8 years ago
Migration to Scala 2.12.1
scand1sk
as Julien Vion
More... almost 9 years ago
Test of Luby strategy correctly defines a ParameterManager
scand1sk
as Julien Vion
More... almost 9 years ago
Reverted BestValue data structure to global
scand1sk
as Julien Vion
More... almost 9 years ago
Parameters for value ordering and restart strategies
scand1sk
as Julien Vion
More... almost 9 years ago
Removed test from Choco pseudo-integer division with doubles
scand1sk
as Julien Vion
More... almost 9 years ago
Many works commited today (sorry), following MZNC2016 and started works on restarts.
scand1sk
as Julien Vion
More... almost 9 years ago
Introduced EntailmentManagerLight
scand1sk
as Julien Vion
More... about 9 years ago
Various debugging following MiniZinc Challenge 2016. Added laziness to entailment management and Event type information. Removed Simplex global constraint.
scand1sk
as Julien Vion
More... about 9 years ago
Updated dependencies
scand1sk
as Julien Vion
More... about 9 years ago
Added LNS solver
scand1sk
as Julien Vion
More... about 9 years ago
Externalized EntailmentManager
scand1sk
as Julien Vion
More... about 9 years ago
Removed timing test for priority queues
scand1sk
as Julien Vion
More... about 9 years ago
Various improvements. Implemented global constraints Inverse, Cumulative and DiffN.
scand1sk
as Julien Vion
More... about 9 years ago
Switched version to 3.2. Added mzn_lib to packages (for Debian package). Added rtree dependency for DiffN constraint.
scand1sk
as Julien Vion
More... about 9 years ago