C

concrete-cp

0

I Use This!

Inactive

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 31, 2024 — Aug 31, 2025 Showing page 10 of 44 Search / Filter on:
Use pregenerated checkSum function	Julien Vion	More...				about 10 years ago
Use Arrays instead of Seqs in positive/negativeToReifiedPositions	Julien Vion	More...				about 10 years ago
Optimized evaluation for Occurrence	Julien Vion	More...				about 10 years ago
Removed ElementBC. Now use the Domain union/intersection API for fast ElementAC.	Julien Vion	More...				about 10 years ago
Added Div and Mod constraints for good	Julien Vion	More...				about 10 years ago
Improved filtering and incrementality of Min/Max constraints	Julien Vion	More...				about 10 years ago
New Div/Mod methods. ModBC and DivBC are not tested (Div does not work), DivAC and ModAC simply use residues	Julien Vion	More...				about 10 years ago
No conversion to SortedSet of convex domains	Julien Vion	More...				about 10 years ago
Some optimization using Array.tabulate instead of map	Julien Vion	More...				about 10 years ago
BinaryExt now use static advise heuristic	Julien Vion	More...				about 10 years ago
Optimized MDDC/ReduceableExt with new Domain union API	Julien Vion	More...				about 10 years ago
Added a "BoundResidue" to simulate BC using findSupport	Julien Vion	More...				about 10 years ago
Optimise advise methods, enhanced control output, StatefulConstraint uses a class type parameter	Julien Vion	More...				about 10 years ago
Change in the Heuristic API to handle decisionVariables on the VariableHeuristic level. Added SeqHeuristic for MiniZinc.	Julien Vion	More...				about 10 years ago
Added modulo operator (%) on Int expressions	Julien Vion	More...				about 10 years ago
Added cool union/intersection operators on domains, some optimization	Julien Vion	More...				about 10 years ago
Entry in logback.xml to log only concrete package	Julien Vion	More...				about 10 years ago
"Optimized" cumulative using bool_lin_le only works for constant bound and durations	Julien Vion	More...				about 10 years ago
Enhanced MinMax constraints	Julien Vion	More...				about 10 years ago
Debugging…	Julien Vion	More...				about 10 years ago
Reversed entailment condition in linear constraints with no variables	Julien Vion	More...				about 10 years ago
SumGenerator.readCSPOM now returns Seq[SimpleExpression[Any]] to cope with mixed linear/pseudoboolean constraints	Julien Vion	More...				about 10 years ago
SolvingTest now reads search annotations on FlatZinc files, reinits ParameterManager before each search, uses Futures for timeouts (does not really work…) and tests optimization problems.	Julien Vion	More...				about 10 years ago
Added test for SumDomains with NE mode	Julien Vion	More...				about 10 years ago
Added test for AbsDiff compiler	Julien Vion	More...				about 10 years ago
Added test for AbsAC	Julien Vion	More...				about 10 years ago
Added support of FZArrayIdx in search annotations	Julien Vion	More...				about 10 years ago
ScoredVariableHeuristic now directly uses Double.compareTo (probably useless optimization)	Julien Vion	More...				about 10 years ago
Changed variableHeuristic.randomBreak parameter to variable.heuristic.randomBreak	Julien Vion	More...				about 10 years ago
Added requirement to get more info on linear constraints with no variables	Julien Vion	More...				about 10 years ago

←
1
2
…
6
7
8
9
10
11
12
13
14
…
43
44
→