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 10 hours
ago. based on code collected
1 day
ago.
Mar 27, 2023 — Mar 27, 2024
Showing page 5 of 46
Search / Filter on:
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.
Krzysztof Kuchcinski
More...
almost 3 years ago
Changes to conform to Scala 3.
Krzysztof Kuchcinski
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.
Krzysztof Kuchcinski
More...
almost 3 years ago
Adding possibility to use '_' (underscore) in parameters and local variable names for checkstyle.
Krzysztof Kuchcinski
More...
almost 3 years ago
Change of method contains in IntervalDomain to use binary search instead of going through all intervals. Small improvements.
Krzysztof Kuchcinski
More...
almost 3 years ago
Changes to graph inteface for minizinc.
Krzysztof Kuchcinski
More...
almost 3 years ago
Improved version of graph constraint generation.
Krzysztof Kuchcinski
More...
almost 3 years ago
Minizinc examples for graph constraints.
Krzysztof Kuchcinski
More...
almost 3 years ago
Adding decomposed graph constraints to minizinc library.
Krzysztof Kuchcinski
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.
Krzysztof Kuchcinski
More...
about 3 years ago
Fix of issue 45 from sourceforge.
Krzysztof Kuchcinski
More...
about 3 years ago
New constraints, Increasing and Decreasing, both for strict (<) and non-strict (=<) ordering of variables. Available in Java and minizinc.
Krzysztof Kuchcinski
More...
about 3 years ago
Code cleaning.
Krzysztof Kuchcinski
More...
about 3 years ago
Correcting selection of bounds consistency for element with list of variables.
Krzysztof Kuchcinski
More...
about 3 years ago
Minizinc file with domain annotations for the example.
Krzysztof Kuchcinski
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 :(
Krzysztof Kuchcinski
More...
about 3 years ago
Fixing of issue #48 from github. Fixing right selection of element variable constraint.
Krzysztof Kuchcinski
More...
about 3 years ago
Fixing issue/request #48.
Krzysztof Kuchcinski
More...
about 3 years ago
Generation of ElementVariable (domain consistency) when flatzinc model constraint has ':: domain' annotation.
Krzysztof Kuchcinski
More...
about 3 years ago
Improving generation of linear constraints for reifications and implications in flatzinc.
Krzysztof Kuchcinski
More...
about 3 years ago
Small improvements and checkstyle fix.
Krzysztof Kuchcinski
More...
over 3 years ago
Performance improvements and checkstyle proposed changes.
Krzysztof Kuchcinski
More...
over 3 years ago
Fix of an unnecessary commented line.
Krzysztof Kuchcinski
More...
over 3 years ago
Fix of an issue #44 from sourceforge and improving checkstyle warnings.
Krzysztof Kuchcinski
More...
over 3 years ago
Code cleaning to follow checkstyle rules.
Krzysztof Kuchcinski
More...
over 3 years ago
adding nocs - no-checkstyle-plugin
Radoslaw Szymanek
More...
over 3 years ago
upgrading surefire plugin version
Radoslaw Szymanek
More...
over 3 years ago
updating findbugs/spotbugs, checkstyle version fix
Radoslaw Szymanek
More...
over 3 years ago
upgrading checkstyle
Radoslaw Szymanek
More...
over 3 years ago
next dev version
Radoslaw Szymanek
More...
over 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