C

concrete-cp

0

I Use This!

Inactive

Commits : Listings

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

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

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