| Added some log and updated CSPOM API |
|
More...
|
over 10 years ago
|
| New handling of expression annotations in CSPOM |
|
More...
|
over 10 years ago
|
| Update to use CSPOM API improvements |
|
More...
|
over 10 years ago
|
| Some simplification in GtGenerator |
|
More...
|
over 10 years ago
|
| Accepts constants in Clause generation |
|
More...
|
over 10 years ago
|
| Added assertion in ReifiedConstraint checker to ensure positive/negative constraints consistency |
|
More...
|
over 10 years ago
|
| Splitted propagator in several methods for better profiling |
|
More...
|
over 10 years ago
|
| Implemented a checker for LexLeq |
|
More...
|
over 10 years ago
|
| Corrected a bug with non-contiguous variables in vars |
|
More...
|
over 10 years ago
|
| Mostly rewritten Clause propagator for correctness (?) |
|
More...
|
over 10 years ago
|
| Improved debug messages |
|
More...
|
over 10 years ago
|
| Added "optimized" BCCompanion.skip() method to mutualize calls to scopeSize |
|
More...
|
over 10 years ago
|
| Change in CSPOM API |
|
More...
|
over 10 years ago
|
| Added "pseudoboolean" constraint support (actually backed by SumBC) |
|
More...
|
over 10 years ago
|
| Added support for reified boolean equality |
|
More...
|
over 10 years ago
|
| Redefined Domain.equals() to avoid value-by-value comparison (fallback to reference comparison). |
|
More...
|
over 10 years ago
|
| Cumulative now use native bool_lin_eq to avoid bool2int coercions. |
|
More...
|
over 10 years ago
|
| Added specialized isConsistent methods to SumBC and SumNE. Some refactoring to mutualize some code. |
|
More...
|
over 10 years ago
|
| Slight refactoring |
|
More...
|
over 10 years ago
|
| Refactor/optimization of Element constraints |
|
More...
|
over 10 years ago
|
| Added handling of dummy variables in updateDomNonEmpty |
|
More...
|
over 10 years ago
|
| Rewrite of Occurrence constraints to handle values to count as variables |
|
More...
|
over 10 years ago
|
| Updated dependencies |
|
More...
|
over 10 years ago
|
| Added support for search annotations in FZ, integer division and "constants as variables" in constraints. |
|
More...
|
over 10 years ago
|
| New SetIn constraint (to avoid costly decomposition) |
|
More...
|
over 10 years ago
|
| Much work along the way. Currently debugging Element. |
|
More...
|
over 10 years ago
|
| Upgraded Scala to 2.11.5 Finished rewrite of all tests to ScalaTest Some debugging |
|
More...
|
almost 11 years ago
|
| Compiling at least! |
|
More...
|
almost 11 years ago
|
| WIP |
|
More...
|
almost 11 years ago
|
| WIP |
|
More...
|
almost 11 years ago
|
