jacop

Settings | Report Duplicate

1

I Use This!

Very Low Activity

Commits : Listings

Analyzed about 11 hours ago. based on code collected about 21 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
May 05, 2023 — May 05, 2024 Showing page 8 of 46 Search / Filter on:
Update CLA_signed.csv	César Soto Valero	More...				over 4 years ago
Remove unused logging dependencies	César Soto Valero	More...				over 4 years ago
Correcting flatzinc definition of fzn_member_int_reif.	Krzysztof Kuchcinski	More...				over 4 years ago
Correcting flatzinc definition of member constraint.	Krzysztof Kuchcinski	More...				over 4 years ago
Removing options -f and -p to denote format and precision. Instead --format and --precision must be used. New "free search" (option -f) based on AFCMaxDeg/AFCMax heuristics is defined.	Krzysztof Kuchcinski	More...				over 4 years ago
Merge pull request #34 from Dagefoerde/cla	radsz	More...				over 4 years ago
Sign CLA	Jan Dageförde	More...				over 4 years ago
XneqY: Handle trivial inconsistency	Jan Dageförde	More...				over 4 years ago
Checking for null pointer in creating search in flatzinc.	Krzysztof Kuchcinski	More...				over 4 years ago
Adding print-out in flatzinc of variable initialization in debug mode.	Krzysztof Kuchcinski	More...				over 4 years ago
Removing new lines from Knapsack toString() method to be compatible with flatzinc print-out.	Krzysztof Kuchcinski	More...				over 4 years ago
1. Improving toString() methods in variable selection heuristics; used in flatzinc. 2. Making Count and CoundBound primitive. 3. Cleaning flatzinc library and making count constraint reified and implied.	Krzysztof Kuchcinski	More...				over 4 years ago
Next dev snapshot version	Radoslaw Szymanek	More...				over 4 years ago
Updating version in README	Radoslaw Szymanek	More...				over 4 years ago
updating travis build file	Radoslaw Szymanek	More...				over 4 years ago
Merge branch 'release-4.7'	Radoslaw Szymanek	More...				over 4 years ago
Preparing release 4.7	Radoslaw Szymanek	More...				over 4 years ago
New format for printing search classes (DepthFirstSearch and PrioritySearch). Including search in debug print-out for flatzinc.	Krzysztof Kuchcinski	More...				over 4 years ago
Fixing a bug that PrioritySearch stops too early when the other PrioritySearch is a sub-search.	Krzysztof Kuchcinski	More...				over 4 years ago
Making possible to define null comparator (input_order) for PrioritySearch.	Krzysztof Kuchcinski	More...				over 4 years ago
Small performance improvement.	Krzysztof Kuchcinski	More...				over 4 years ago
Removing table entries that are infeasible(have different values for the same variable) for duplicated variables.	Krzysztof Kuchcinski	More...				over 4 years ago
Bug fixes: 1) Nested seq_search was not constructed properly since last search was not connected to the next one; fixed. 2) Table constraint in falatzinc did not removed correctly repeated variables; fixed.	Krzysztof Kuchcinski	More...				over 4 years ago
Correcting non checked casts and deprecated classes/methods.	Krzysztof Kuchcinski	More...				over 4 years ago
Adding minizinc/flatzinc annotation "priority(k)".	Krzysztof Kuchcinski	More...				over 4 years ago
Correcting parsing of array annotations since it was not correct for more than one annotations. Did not work correctly, for example, when model checking was used and added "mzn_check_var" annotation.	Krzysztof Kuchcinski	More...				over 4 years ago
Improved pruning for Member constraint.	Krzysztof Kuchcinski	More...				over 4 years ago
New constraint Member. Both in Java and in flatzinc.	Krzysztof Kuchcinski	More...				over 4 years ago
Extending descriptions and adding new items.	Krzysztof Kuchcinski	More...				over 4 years ago
Improvements in implication generation for flatzinc. Correcting statistics print-out in verbose mode.	Krzysztof Kuchcinski	More...				over 4 years ago

←
1
2
3
4
5
6
7
8
9
10
11
12
…
45
46
→