1
I Use This!
Low Activity

Commits : Listings

Analyzed about 10 hours 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
Introduction of constraint ChannelImply that makes Implies constraint generalization for many values. Changing the name of Channel constraint to ChannelReif to make distinction between two channeling constraints. Flatzinc uses both ChannelReif and ChannelImply constraints, if possible. More... almost 3 years ago
Changes to conform to Scala 3. More... almost 3 years ago
Sum is back! 1. Changing Sum to compute correctly for large integers that produce overflow. 2. Performance improvements. It is used in flatzinc when number of variables is larger than 30. It gives better results for examples with number of variables over 500, for example. More... almost 3 years ago
Adding possibility to use '_' (underscore) in parameters and local variable names for checkstyle. More... almost 3 years ago
Change of method contains in IntervalDomain to use binary search instead of going through all intervals. Small improvements. More... almost 3 years ago
Changes to graph inteface for minizinc. More... almost 3 years ago
Improved version of graph constraint generation. More... almost 3 years ago
Minizinc examples for graph constraints. More... almost 3 years ago
Adding decomposed graph constraints to minizinc library. More... almost 3 years ago
Preparation for an upcoming representation of "range sets" using {| and |}, for example {|1, 2..10, 13, 100..1000|}. In this version lexical definition of LBBAR {{|) and RBBAR (|}) and related grammar rules are commented. When they will come to minizinc they will need to be uncommented. More... about 3 years ago
Fix of issue 45 from sourceforge. More... about 3 years ago
New constraints, Increasing and Decreasing, both for strict (<) and non-strict (=<) ordering of variables. Available in Java and minizinc. More... about 3 years ago
Code cleaning. More... about 3 years ago
Correcting selection of bounds consistency for element with list of variables. More... about 3 years ago
Minizinc file with domain annotations for the example. More... about 3 years ago
1. Changing complementary search (-cs option in flatzinc) to use AFCMaxDeg/AFCMax for variable selection instead of input order criteria. 2. Change of two_cube_calendar.fan to use domain consistency for element with variable list since bounds consistency generates incorrect results. The correct results can be achieved when complementary search is used since the minizinc compiler introduces many variables that are not included in the search :( More... about 3 years ago
Fixing of issue #48 from github. Fixing right selection of element variable constraint. More... about 3 years ago
Fixing issue/request #48. More... about 3 years ago
Generation of ElementVariable (domain consistency) when flatzinc model constraint has ':: domain' annotation. More... about 3 years ago
Improving generation of linear constraints for reifications and implications in flatzinc. More... about 3 years ago
Small improvements and checkstyle fix. More... over 3 years ago
Performance improvements and checkstyle proposed changes. More... over 3 years ago
Fix of an unnecessary commented line. More... over 3 years ago
Fix of an issue #44 from sourceforge and improving checkstyle warnings. More... over 3 years ago
Code cleaning to follow checkstyle rules. More... over 3 years ago
adding nocs - no-checkstyle-plugin More... over 3 years ago
upgrading surefire plugin version More... over 3 years ago
updating findbugs/spotbugs, checkstyle version fix More... over 3 years ago
upgrading checkstyle More... over 3 years ago
next dev version More... over 3 years ago