| Big rewrite and optimization of Linear constraints. |
|
More...
|
about 10 years ago
|
| Removed default init() method, all constraints must implement it. isConsistent() must now return an Outcome (for constraint States). Added LeC constraint. |
|
More...
|
about 10 years ago
|
| Travis: use Java8 |
|
More...
|
about 10 years ago
|
| Additional logging of command line options |
|
More...
|
about 10 years ago
|
| Completed implementation of SparseSets |
|
More...
|
about 10 years ago
|
| Added Sonatype plugin for publication on Maven Central |
|
More...
|
about 10 years ago
|
| Changed CSPOM to 2.6.1 and version to 3.0-B1 |
|
More...
|
about 10 years ago
|
| Pushed version to 3.0-B1 |
|
More...
|
about 10 years ago
|
| Added "-p" option to FZRunner for the MiniZinc challenge |
|
More...
|
about 10 years ago
|
| Mul generator generates constraints with constants |
|
More...
|
about 10 years ago
|
| Implemented intersection of boolean with int domain (always return a boolean domain) |
|
More...
|
about 10 years ago
|
| Constraint.variablePosition is now an array, update Variable accordingly |
|
More...
|
over 10 years ago
|
| SeqHeuristic in GIT index |
|
More...
|
over 10 years ago
|
| BoundResidues in GIT index |
|
More...
|
over 10 years ago
|
| new ProblemState.entailIf method, added remove(Variable…) methods to work with variables not in problem |
|
More...
|
over 10 years ago
|
| Updated versions for 2.0-B1 release |
|
More...
|
over 10 years ago
|
| Additional tests, updated APIs |
|
More...
|
over 10 years ago
|
| Test union/intersection of domains |
|
More...
|
over 10 years ago
|
| Added Interval.connected method |
|
More...
|
over 10 years ago
|
| Added applyParametersPre method to change problem parameters between problem compilation and solver instantiation (for MiniZinc heuristics). Use of the new Heuristic API and SeqHeuristic. |
|
More...
|
over 10 years ago
|
| ReifiedClause wait for boolean types to be enforced before matching anything |
|
More...
|
over 10 years ago
|
| OccurrenceDomains simplified |
|
More...
|
over 10 years ago
|
| Corrected 'in constraint format |
|
More...
|
over 10 years ago
|
| Added PBConstants, removed DivToMul |
|
More...
|
over 10 years ago
|
| bool2int must self-propagate in case several constraints involve the same variable (CSPOMCompiler ignores this now anyway) |
|
More...
|
over 10 years ago
|
| Do not generate SumAC constraints for </<= modes |
|
More...
|
over 10 years ago
|
| Clean up SetInGenerator |
|
More...
|
over 10 years ago
|
| Added DivGenerator |
|
More...
|
over 10 years ago
|
| Minor improvements in ACC |
|
More...
|
over 10 years ago
|
| Update of the StatefulConstraint API |
|
More...
|
over 10 years ago
|
