1
I Use This!
Low Activity

Commits : Listings

Analyzed about 23 hours ago. based on code collected 2 days ago.
Mar 27, 2023 — Mar 27, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Change of the statistic output information for minizinc to comply with MiniZInc IDE, both final statistics and verbose information (option -s). More... about 2 years ago
Correction of spelling errors. More... about 2 years ago
Removing decimal separator "," for decimal numbers since it is not accepted by Minizinc IDE. More... about 2 years ago
Small performance improvements in flatzinc constraint generation. More... over 2 years ago
1. Improving generation of regular constraint in flatzinc. it generates intervals, if possible, to label transitions instead of numbers. 2. Making LexOrder propagation "more incremental" by executing initialization only the first time. 3. Performance improvement of ValueProcede. More... over 2 years ago
improving build More... over 2 years ago
1. Correcting a bug in NotFirst/NotLast propagation for CumulativeUnary. 2. Improvement in table constraint generation (removing variables and values from tuples when variables are ground). More... over 2 years ago
Small improvements. More... over 2 years ago
Bug fix. More... over 2 years ago
Improvement of warning message for not supported search annotation. More... over 2 years ago
Support for a new variable selection annotation for search (in minizinc). Annotation tiebreak takes two parameters (two variable selection methods) and uses the first one as the main selection method and the second one as tie breaking, in case when both main selection methods has the same value. More... over 2 years ago
Complementary search in flatzinc (option -cs) do not uses AFCMaxDeg variable selection because of large overhead. It uses input order variable selection. More... over 2 years ago
1. Removing satisfied channeling constraints. 2. Introduction of possibility to select propagators for CumulartiveUnary constraint. More... over 2 years ago
Adding necessary comment sign (%) for debug mode. More... over 2 years ago
Small performance improvement for multiplication by constant constraints. More... over 2 years ago
Small performance improvement. More... over 2 years ago
Possibility to define seed for random number generators. Store has methods to define it. Flatzinc uses option -r. More... over 2 years ago
Implementation of inValue methods for SmallDenseDomian, BoundDomain and IntervalDomain. Change of methods in to inValue whenever possible. More... almost 3 years ago
Small improvements in performance. More... almost 3 years ago
Code cleaning and performance improvements for XmulC (special method in IntDomain). More... almost 3 years ago
Performance improvement for bounds calculations for multiplications and visions by constant. More... almost 3 years ago
Correcting check_style warnings. More... almost 3 years ago
Small improvements and corrections. More... almost 3 years ago
flatzinc library: use cumulative for disjunctive_strict if all durations are greater than 0. More... almost 3 years ago
Correcting style to be compatible with JaCoP rules for check_style. More... almost 3 years ago
Change in flatzinc solving for trivially optimal models. It prints now equations signs indicating optimality. More... almost 3 years ago
Simplification for posing constraints arg_max_bool and arg_min_bool in flatzinc. More... almost 3 years ago
Adding missing global constraints arg_max and arg_min for bool variables in flatzinc. More... almost 3 years ago
Commenting correctly constraints printed with option -debug in flatzinc. Important specially for regular constraint. More... almost 3 years ago
Code cleaning and small improvements. More... almost 3 years ago