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
1 day
ago. based on code collected
2 days
ago.
Mar 26, 2023 — Mar 26, 2024
Showing page 3 of 46
Search / Filter on:
Commit Message
Contributor
Files Modified
Lines Added
Lines Removed
Code Location
Date
Flatzinc command line options for restart search.
Krzysztof Kuchcinski
More...
over 1 year ago
Bug fix.
Krzysztof Kuchcinski
More...
over 1 year ago
Correcting that warm start will not print JaCoP search information in flatzinc.
Krzysztof Kuchcinski
More...
over 1 year ago
Implementation of flatzinc search with several search annotations as seq_search to get better compatibility and correct warm_start.
Krzysztof Kuchcinski
More...
over 1 year ago
Optimality signs (==========) in flatzinc are not printed for relax and reconstruct optimization.
Krzysztof Kuchcinski
More...
over 1 year ago
Improvement of warm_start annotation. It works now outside sequential search.
Krzysztof Kuchcinski
More...
over 1 year ago
Extending RestartSearch to make possible define own relax and search methods.
Krzysztof Kuchcinski
More...
over 1 year ago
Implementation of relax and reconstruct for restart search. Improvements in restart search and possibility to define limit on restarts. Available in minizinc with search annotation relax_and_reconstruct in combination with restart search annotation.
Krzysztof Kuchcinski
More...
over 1 year ago
Bump scala-library from 2.13.1 to 2.13.9
dependabot[bot]
More...
over 1 year ago
Updating Scala to version 2.13.9 (current release of Scala 2).
Krzysztof Kuchcinski
More...
over 1 year ago
back to snapshot for next version
Radoslaw Szymanek
More...
over 1 year ago
preparing release-4.9
Radoslaw Szymanek
More...
over 1 year ago
Fixing output for test.
Krzysztof Kuchcinski
More...
over 1 year ago
Performance improvements.
Krzysztof Kuchcinski
More...
over 1 year ago
New way of dynamically selecting computation of lower bound for bins pruning.
Krzysztof Kuchcinski
More...
over 1 year ago
Making lower bound pruning default again but it can be controlled by a constructor flag.
Krzysztof Kuchcinski
More...
over 1 year ago
Binpacking: pruning of the lower bound on number of bins is disable by default since it has rather high computational complexity. New constructor can switch it on.
Krzysztof Kuchcinski
More...
over 1 year ago
Improvement in generation of linear constraints in flatzinc.
Krzysztof Kuchcinski
More...
over 1 year ago
For flatzinc, more efficient reified and implication constraints for x == constant and x != constant.
Krzysztof Kuchcinski
More...
over 1 year ago
New constraint generation for table constraints in flatzinc interpreter. In case when up to three variables are defined and there exist up to three conflict tuples JaCoP Or constraints are generated instead.
Krzysztof Kuchcinski
More...
over 1 year ago
Bug fix.
Krzysztof Kuchcinski
More...
over 1 year ago
New method for counting number of solutions in flatzinc that does not use DepthFirstSearch. It counts solutions and rises run-time exception when a number of solutions is reached. It works for all searches, including restart_search and priority_search.
Krzysztof Kuchcinski
More...
over 1 year ago
Making time-out working correctly for sequences of search methods.
Krzysztof Kuchcinski
More...
over 1 year ago
Implementation of minizinc warm_start for int and bool using IndomainDefaultValue. Fix of a bug in lexical analysis of string literal for flatzinc parser.
Krzysztof Kuchcinski
More...
over 1 year ago
Computing metrics for variable selection on double instead of float to make correct computing for AFC* and Activity* variable selection methods. Improvement of performance for variable selection based on accumulated fault count (AFC*).
Krzysztof Kuchcinski
More...
over 1 year ago
Correction of a bug when computing update for last starting time (lst) for Cumulative and CumulativeUnary constraints.
Krzysztof Kuchcinski
More...
over 1 year ago
Updating minizinc set-up files for JaCoP.
Krzysztof Kuchcinski
More...
almost 2 years ago
Introducing reporting of number of search nodes per second in verbose printing in minizinc.
Krzysztof Kuchcinski
More...
about 2 years ago
Removing double reporting of number search nodes with verbose option in minizinc.
Krzysztof Kuchcinski
More...
about 2 years ago
Correcting incorrect objective reporting in verbose mode.
Krzysztof Kuchcinski
More...
about 2 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