Open Hub
Black Duck Open Hub

 Settings |  Report Duplicate

1
I Use This!
Low Activity

Commits : Listings

Analyzed about 24 hours ago. based on code collected 1 day ago.
Apr 18, 2023 — Apr 18, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Adding simpler definition for priority_search for flatzinc.
Krzysztof Kuchcinski
More... over 4 years ago
More options defined for MiniZinc IDE in JaCoP configuration file.
Krzysztof Kuchcinski
More... over 4 years ago
Making options --format in flatzinc correct. Correcting mcs file for jacop for minizinc.
Krzysztof Kuchcinski
More... over 4 years ago
Improving performance of Implies. Small changes in flatzinc print-out.
Krzysztof Kuchcinski
More... over 4 years ago
Bug corrections for *_imp constraints in flatzinc front-end.
Krzysztof Kuchcinski
More... over 4 years ago
Adding dominance pruning to circuit constraints (not active yet). Small improvements.
Krzysztof Kuchcinski
More... over 4 years ago
Making statistics print-outs compatible with new minizinc rules.
Krzysztof Kuchcinski
More... over 4 years ago
Adding tests missed in the last commit.
Krzysztof Kuchcinski
More... over 4 years ago
1) Improved pruning in Conditional. 2) Adding a flatzinc test for implications.
Krzysztof Kuchcinski
More... over 4 years ago
Implementation of Conditianl constraint for implmenting flatzinc fzn_if_then_else_*.
Krzysztof Kuchcinski
More... over 4 years ago
Small improvements on statistic and information print-outs.
Krzysztof Kuchcinski
More... over 4 years ago
Performance improvements.
Krzysztof Kuchcinski
More... over 4 years ago
Small performance improvements.
Krzysztof Kuchcinski
More... over 4 years ago
Adding GCC definition to minizinc (classical GCC supported by JaCoP).
Krzysztof Kuchcinski
More... over 4 years ago
1) Implementation of *_imp flatzinc constraints using JaCoP Implies constraint and a number of primitive constraints. 2) Implementtion of complete notSatisfied method for Alldifferent constraint as well as satisifed and notSatisfied for Nooveralp constraint.
Krzysztof Kuchcinski
More... over 4 years ago
New predicate Implies to be used in minizinc half-refified constraints.
Krzysztof Kuchcinski
More... over 4 years ago
New minizinc library compatible with minizinc version >= 2.3. Old library still available at minizinc_upTo2.3.
Krzysztof Kuchcinski
More... over 4 years ago
Small performance improvements.
Krzysztof Kuchcinski
More... almost 5 years ago
Improving performance time-tabling of cumulative constraint by removing ground tasks that make profile but do not contribute to pruning of other tasks; they are located outside the range of tasks.
Krzysztof Kuchcinski
More... almost 5 years ago
Correcting bug in XmodYeqZ and adding minizinc files for several examples.
Krzysztof Kuchcinski
More... almost 5 years ago
Correction.
Krzysztof Kuchcinski
More... almost 5 years ago
Fixing a bug i XmodYeqZ.
Krzysztof Kuchcinski
More... almost 5 years ago
Adding possibility to rerun failed tests
Radoslaw Szymanek
More... almost 5 years ago
Upgrading checkstyle
Radoslaw Szymanek
More... almost 5 years ago
Adding optimization step for floating-point cost functions.
Krzysztof Kuchcinski
More... almost 5 years ago
Making LinearFloat constraint deterministic; always will give the same results.
Krzysztof Kuchcinski
More... almost 5 years ago
Change if time measuring method for flatzinc. One can use either thread timer from java.lang.management.ManagementFactory or system timer (System.nonoTime()). It can be selected using java property -Dfz_system_timer=true (for system timer) or default thread timer.
Krzysztof Kuchcinski
More... almost 5 years ago
Improving pruning.
Krzysztof Kuchcinski
More... almost 5 years ago
Small changes in Dockerfile: making larger stack and enable options to make complementary search (some examples on the competition need this).
Krzysztof Kuchcinski
More... almost 5 years ago
XdivYeqZ handles large numbers and do not generates overflow.
Krzysztof Kuchcinski
More... almost 5 years ago