1
I Use This!
Low Activity

Commits : Listings

Analyzed 17 minutes ago. based on code collected 1 day ago.
Mar 27, 2023 — Mar 27, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
github issue #31 More... over 3 years ago
github issue #38 More... over 3 years ago
more protected as specified by github #37 More... over 3 years ago
Bug fix. More... over 3 years ago
Fix of a bug in flatzinc for very rare situation when last constraints are not added but replaced by variable setting in() method and the final search is not executed since all variables are ground. In this situation consistency has not been checked and a problem was reported as solved instead of unsatisfied. More... over 3 years ago
Conversion of several flatzinc int_eq_reif constraints (with a constant) to a single channel constraint. More... over 3 years ago
github issue #40 More... over 3 years ago
github issue 37 More... over 3 years ago
Update of plugin versions for checkstyle. Correction of performance bug in Channel. More... over 3 years ago
Performance improvement of Channel constraint, More... over 3 years ago
changing version to 4.8 More... over 3 years ago
preparing release 4.8 More... over 3 years ago
adding a badge More... over 3 years ago
New constraint Channel that generalizes reified constraints. Available in Java and from minizinc. More... over 3 years ago
Code cleaning and small improvements. More... over 3 years ago
New global cardinality constraints (CountValues and CaountValuesBounds) and related library constraints definitions for flatzinc to use them. More... over 3 years ago
Bump junit from 4.12 to 4.13.1 More... over 3 years ago
Pruning performance improvement. More... over 3 years ago
Improving pruning for ArgMin/ArgMax constraints. Performance improvements. More... over 3 years ago
Pruning improvements in XmulYeqZ for the case when both arguments are the same (x*x = z). More... over 3 years ago
Removing limitation in flatzinc compiler that flatzinc variables must have domains within interval IntDomain.MinInt..IntDomain.MaxInt. It makes it possible to run more flatzinc models. More... over 3 years ago
Removing unused constraints. More... over 3 years ago
Change of queueIndex for XmulYeqZ to 1 since the constraint is expensive to compute and it does not prune much. More... over 3 years ago
Improvement of propagation and changing domain consistency for index in ArgMin and ArgMax to bounds (it is better for benchmarks from minizinc challenge 2020. Generation IfThenElse constraint instead of Conditional for flatzinc in cases it ism possible. More... over 3 years ago
Fix of a bug from minizinc challenge 2020 (code-generator, mips_gobmk.patterns_autohelperpat508). Change of computation of rectangle length. It cannot use sub-intervals for this computations since they can be created by other constraints and there is no rectangle that is an obstacle. More... over 3 years ago
Improving efficiency of pruning for XmodYeqZ. More... over 3 years ago
Changing IntDomain.divIntBounds to use double instead of floats and changed back flatzinc to use XmulCeqZ. More... over 3 years ago
Removing generation of XmulCeqZ constraints for simple linear constraints. XmulCeqZ uses divIntBounds. It uses floating-points for computations of bounds and for larger integers it might have rounding problems. Keep XmulCeqZ for compatibility. More... over 3 years ago
Adding option "--free-search" in addition to "-f". More... over 3 years ago
Small performance improvements. More... almost 4 years ago