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
17 minutes
ago. based on code collected
1 day
ago.
Mar 27, 2023 — Mar 27, 2024
Showing page 6 of 46
Search / Filter on:
Commit Message
Contributor
Files Modified
Lines Added
Lines Removed
Code Location
Date
github issue #31
Radoslaw Szymanek
More...
over 3 years ago
github issue #38
Radoslaw Szymanek
More...
over 3 years ago
more protected as specified by github #37
Radoslaw Szymanek
More...
over 3 years ago
Bug fix.
Krzysztof Kuchcinski
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.
Krzysztof Kuchcinski
More...
over 3 years ago
Conversion of several flatzinc int_eq_reif constraints (with a constant) to a single channel constraint.
Krzysztof Kuchcinski
More...
over 3 years ago
github issue #40
Radoslaw Szymanek
More...
over 3 years ago
github issue 37
Radoslaw Szymanek
More...
over 3 years ago
Update of plugin versions for checkstyle. Correction of performance bug in Channel.
Krzysztof Kuchcinski
More...
over 3 years ago
Performance improvement of Channel constraint,
Krzysztof Kuchcinski
More...
over 3 years ago
changing version to 4.8
Radoslaw Szymanek
More...
over 3 years ago
preparing release 4.8
Radoslaw Szymanek
More...
over 3 years ago
adding a badge
Radoslaw Szymanek
More...
over 3 years ago
New constraint Channel that generalizes reified constraints. Available in Java and from minizinc.
Krzysztof Kuchcinski
More...
over 3 years ago
Code cleaning and small improvements.
Krzysztof Kuchcinski
More...
over 3 years ago
New global cardinality constraints (CountValues and CaountValuesBounds) and related library constraints definitions for flatzinc to use them.
Krzysztof Kuchcinski
More...
over 3 years ago
Bump junit from 4.12 to 4.13.1
dependabot[bot]
More...
over 3 years ago
Pruning performance improvement.
Krzysztof Kuchcinski
More...
over 3 years ago
Improving pruning for ArgMin/ArgMax constraints. Performance improvements.
Krzysztof Kuchcinski
More...
over 3 years ago
Pruning improvements in XmulYeqZ for the case when both arguments are the same (x*x = z).
Krzysztof Kuchcinski
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.
Krzysztof Kuchcinski
More...
over 3 years ago
Removing unused constraints.
Krzysztof Kuchcinski
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.
Krzysztof Kuchcinski
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.
Krzysztof Kuchcinski
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.
Krzysztof Kuchcinski
More...
over 3 years ago
Improving efficiency of pruning for XmodYeqZ.
Krzysztof Kuchcinski
More...
over 3 years ago
Changing IntDomain.divIntBounds to use double instead of floats and changed back flatzinc to use XmulCeqZ.
Krzysztof Kuchcinski
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.
Krzysztof Kuchcinski
More...
over 3 years ago
Adding option "--free-search" in addition to "-f".
Krzysztof Kuchcinski
More...
over 3 years ago
Small performance improvements.
Krzysztof Kuchcinski
More...
almost 4 years ago
←
1
2
3
4
5
6
7
8
9
10
…
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