| Changed heuristics for Minizinc, cool new BestValue heuristic |
|
More...
|
about 10 years ago
|
| Avoid restart-aware heuristics if parameterized heuristics aren't |
|
More...
|
about 10 years ago
|
| Added Domain.isAssigned() method |
|
More...
|
about 10 years ago
|
| Update due to moving of linear constraints |
|
More...
|
about 10 years ago
|
| Generation of Simplex constraints |
|
More...
|
about 10 years ago
|
| Slight optimization on updateQueue |
|
More...
|
about 10 years ago
|
| Work on linear constraints, moved ReifiedConstraint to constraint package and all relevant constraint to constraint.linear |
|
More...
|
about 10 years ago
|
| Implemented a Simplex constraint |
|
More...
|
about 10 years ago
|
| Big optimizations on Linear constraints |
|
More...
|
about 10 years ago
|
| Missing import in ConcreteRunner |
|
More...
|
about 10 years ago
|
| Filter can be initialized with a Seq of changed variables |
|
More...
|
about 10 years ago
|
| Updated APIs (sum, StatisticsManager) |
|
More...
|
about 10 years ago
|
| Testing of new heuristics |
|
More...
|
about 10 years ago
|
| Use of new StatisticsManager.measure method (ScalaMeter inline benchmarking) |
|
More...
|
about 10 years ago
|
| Added LinearLeStateless back for benchmarking, some optimization on the way |
|
More...
|
about 10 years ago
|
| Added heuristics proposed in FlatZinc documentation |
|
More...
|
about 10 years ago
|
| Removed outdated assign(Pair) method in ProblemState |
|
More...
|
about 10 years ago
|
| Added a contains method to ParameterManager |
|
More...
|
about 10 years ago
|
| Generalized heuristics to allow e.g. domain splitting |
|
More...
|
about 10 years ago
|
| Added median and nextOption/prevOption methods to Domain |
|
More...
|
about 10 years ago
|
| Added Sonatype Snapshots repository (for CSPOM) |
|
More...
|
about 10 years ago
|
| Update of sbt-native-packager plugin to 1.0.4 |
|
More...
|
about 10 years ago
|
| Added Battleships10 test file |
|
More...
|
about 10 years ago
|
| Changed version to 3.0-B2-SNAPSHOT, updated CSPOM to 2.6.2-SNAPSHOT, Slick and Scalameter |
|
More...
|
about 10 years ago
|
| Added many tests to help debugging Linear and Reified constraints, changed to reflect API updates |
|
More...
|
about 10 years ago
|
| Prewritten logger filtering |
|
More...
|
about 10 years ago
|
| Added orElse and apply(StateFulConstraint[S]) methods to ProblemState |
|
More...
|
about 10 years ago
|
| Renamed Domain.bound to Domain.convex |
|
More...
|
about 10 years ago
|
| Rewritten for to while for optimization |
|
More...
|
about 10 years ago
|
| Moved ceilDiv and floorDiv to from Interval to Math object. |
|
More...
|
about 10 years ago
|
