1
I Use This!
Low Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 2 days ago.
Mar 26, 2023 — Mar 26, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Flatzinc command line options for restart search. More... over 1 year ago
Bug fix. More... over 1 year ago
Correcting that warm start will not print JaCoP search information in flatzinc. More... over 1 year ago
Implementation of flatzinc search with several search annotations as seq_search to get better compatibility and correct warm_start. More... over 1 year ago
Optimality signs (==========) in flatzinc are not printed for relax and reconstruct optimization. More... over 1 year ago
Improvement of warm_start annotation. It works now outside sequential search. More... over 1 year ago
Extending RestartSearch to make possible define own relax and search methods. 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. More... over 1 year ago
Bump scala-library from 2.13.1 to 2.13.9 More... over 1 year ago
Updating Scala to version 2.13.9 (current release of Scala 2). More... over 1 year ago
back to snapshot for next version More... over 1 year ago
preparing release-4.9 More... over 1 year ago
Fixing output for test. More... over 1 year ago
Performance improvements. More... over 1 year ago
New way of dynamically selecting computation of lower bound for bins pruning. More... over 1 year ago
Making lower bound pruning default again but it can be controlled by a constructor flag. 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. More... over 1 year ago
Improvement in generation of linear constraints in flatzinc. More... over 1 year ago
For flatzinc, more efficient reified and implication constraints for x == constant and x != constant. 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. More... over 1 year ago
Bug fix. 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. More... over 1 year ago
Making time-out working correctly for sequences of search methods. 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. 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*). More... over 1 year ago
Correction of a bug when computing update for last starting time (lst) for Cumulative and CumulativeUnary constraints. More... over 1 year ago
Updating minizinc set-up files for JaCoP. More... almost 2 years ago
Introducing reporting of number of search nodes per second in verbose printing in minizinc. More... about 2 years ago
Removing double reporting of number search nodes with verbose option in minizinc. More... about 2 years ago
Correcting incorrect objective reporting in verbose mode. More... about 2 years ago