openhub.net
Black Duck Software, Inc.
Black Duck Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
BDSA
Projects
People
Projects
Organizations
Forums
jacop
Settings
|
Report Duplicate
1
I Use This!
×
Login Required
Log in to Open Hub
Remember Me
Low Activity
Commits
: Listings
Analyzed
about 23 hours
ago. based on code collected
2 days
ago.
Mar 27, 2023 — Mar 27, 2024
Showing page 4 of 46
Search / Filter on:
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).
Krzysztof Kuchcinski
More...
about 2 years ago
Correction of spelling errors.
Krzysztof Kuchcinski
More...
about 2 years ago
Removing decimal separator "," for decimal numbers since it is not accepted by Minizinc IDE.
Krzysztof Kuchcinski
More...
about 2 years ago
Small performance improvements in flatzinc constraint generation.
Krzysztof Kuchcinski
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.
Krzysztof Kuchcinski
More...
over 2 years ago
improving build
Radoslaw Szymanek
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).
Krzysztof Kuchcinski
More...
over 2 years ago
Small improvements.
Krzysztof Kuchcinski
More...
over 2 years ago
Bug fix.
Krzysztof Kuchcinski
More...
over 2 years ago
Improvement of warning message for not supported search annotation.
Krzysztof Kuchcinski
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.
Krzysztof Kuchcinski
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.
Krzysztof Kuchcinski
More...
over 2 years ago
1. Removing satisfied channeling constraints. 2. Introduction of possibility to select propagators for CumulartiveUnary constraint.
Krzysztof Kuchcinski
More...
over 2 years ago
Adding necessary comment sign (%) for debug mode.
Krzysztof Kuchcinski
More...
over 2 years ago
Small performance improvement for multiplication by constant constraints.
Krzysztof Kuchcinski
More...
over 2 years ago
Small performance improvement.
Krzysztof Kuchcinski
More...
over 2 years ago
Possibility to define seed for random number generators. Store has methods to define it. Flatzinc uses option -r.
Krzysztof Kuchcinski
More...
over 2 years ago
Implementation of inValue methods for SmallDenseDomian, BoundDomain and IntervalDomain. Change of methods in to inValue whenever possible.
Krzysztof Kuchcinski
More...
almost 3 years ago
Small improvements in performance.
Krzysztof Kuchcinski
More...
almost 3 years ago
Code cleaning and performance improvements for XmulC (special method in IntDomain).
Krzysztof Kuchcinski
More...
almost 3 years ago
Performance improvement for bounds calculations for multiplications and visions by constant.
Krzysztof Kuchcinski
More...
almost 3 years ago
Correcting check_style warnings.
Krzysztof Kuchcinski
More...
almost 3 years ago
Small improvements and corrections.
Krzysztof Kuchcinski
More...
almost 3 years ago
flatzinc library: use cumulative for disjunctive_strict if all durations are greater than 0.
Krzysztof Kuchcinski
More...
almost 3 years ago
Correcting style to be compatible with JaCoP rules for check_style.
Krzysztof Kuchcinski
More...
almost 3 years ago
Change in flatzinc solving for trivially optimal models. It prints now equations signs indicating optimality.
Krzysztof Kuchcinski
More...
almost 3 years ago
Simplification for posing constraints arg_max_bool and arg_min_bool in flatzinc.
Krzysztof Kuchcinski
More...
almost 3 years ago
Adding missing global constraints arg_max and arg_min for bool variables in flatzinc.
Krzysztof Kuchcinski
More...
almost 3 years ago
Commenting correctly constraints printed with option -debug in flatzinc. Important specially for regular constraint.
Krzysztof Kuchcinski
More...
almost 3 years ago
Code cleaning and small improvements.
Krzysztof Kuchcinski
More...
almost 3 years ago
←
1
2
3
4
5
6
7
8
9
…
45
46
→
This site uses cookies to give you the best possible experience. By using the site, you consent to our use of cookies. For more information, please see our
Privacy Policy
Agree