C

concrete-cp

0

I Use This!

Inactive

Commits : Listings

Analyzed about 19 hours ago. based on code collected about 19 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Sep 07, 2024 — Sep 07, 2025 Showing page 5 of 44 Search / Filter on:
Merge pull request #2 from codacy-badger/codacy-badge	Julien Vion	More...				over 8 years ago
Add Codacy badge	The Codacy Badger	More...				over 8 years ago
Completed travis.yml, added integration tests	Julien Vion	More...				over 8 years ago
Reduced the number of queens in TestMAC for tests	Julien Vion	More...				over 8 years ago
Merge branch 'master' of https://github.com/concrete-cp/concrete	Julien Vion	More...				over 8 years ago
Added coverage generation for Travis	Julien Vion	More...				over 8 years ago
Added coverage generation for Travis	Julien Vion	More...				over 8 years ago
Many bugs corrected. Version used for winter break experiments (LBV).	Julien Vion	More...				over 8 years ago
Better management of identical variables in Element constraint (added ElementRI)	Julien Vion	More...				over 8 years ago
Added management of reified (unregistered) constraints in EntailmentManager	Julien Vion	More...				over 8 years ago
Update Slick to 3.2.0-RC1	Julien Vion	More...				over 8 years ago
Many bug fixes	Julien Vion	More...				over 8 years ago
Moved longTest to it tests	Julien Vion	More...				over 8 years ago
Changed bit vectors package	Julien Vion	More...				over 8 years ago
Updated Scala version in travis.yml. Updated native-packager and reverted logback-test verbosity to warn.	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.	Julien Vion	More...				over 8 years ago
Migration to Scala 2.12.1	Julien Vion	More...				over 8 years ago
Test of Luby strategy correctly defines a ParameterManager	Julien Vion	More...				almost 9 years ago
Reverted BestValue data structure to global	Julien Vion	More...				almost 9 years ago
Parameters for value ordering and restart strategies	Julien Vion	More...				almost 9 years ago
Removed test from Choco pseudo-integer division with doubles	Julien Vion	More...				almost 9 years ago
Many works commited today (sorry), following MZNC2016 and started works on restarts.	Julien Vion	More...				almost 9 years ago
Introduced EntailmentManagerLight	Julien Vion	More...				almost 9 years ago
Various debugging following MiniZinc Challenge 2016. Added laziness to entailment management and Event type information. Removed Simplex global constraint.	Julien Vion	More...				almost 9 years ago
Updated dependencies	Julien Vion	More...				almost 9 years ago
Added LNS solver	Julien Vion	More...				almost 9 years ago
Externalized EntailmentManager	Julien Vion	More...				almost 9 years ago
Removed timing test for priority queues	Julien Vion	More...				about 9 years ago
Various improvements. Implemented global constraints Inverse, Cumulative and DiffN.	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.	Julien Vion	More...				about 9 years ago

←
1
2
3
4
5
6
7
8
9
…
43
44
→