jacop

Settings | Report Duplicate

1

I Use This!

Low Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 26, 2023 — Apr 26, 2024 Showing page 38 of 46 Search / Filter on:
Correcting a bug in GCC constraint.	Krzysztof Kuchcinski	More...				over 8 years ago
Improvements.	Krzysztof Kuchcinski	More...				over 8 years ago
Code cleaning.	Krzysztof Kuchcinski	More...				over 8 years ago
Small print-out corrections.	Krzysztof Kuchcinski	More...				over 8 years ago
Small corrections.	Krzysztof Kuchcinski	More...				over 8 years ago
Fixing comment.	Krzysztof Kuchcinski	More...				over 8 years ago
Introducing two methods (and options) for collecting default and complementary search variables. One based on output variables and one based on variables identified as non-introduced variables.	Krzysztof Kuchcinski	More...				over 8 years ago
Making constraint Linear not a primitive constraint since it works only with Reified and XorBool.	Krzysztof Kuchcinski	More...				over 8 years ago
Correcting default search variables for SetVar arrays.	Krzysztof Kuchcinski	More...				over 8 years ago
Bug fixes and small improvements.	Krzysztof Kuchcinski	More...				over 8 years ago
1. Fixing out of bounds exception caused by BoolClause (notConsistency method). 2. Cumulative used in flazinc does not use edge-finding algorithm if number of tasks > 200.	Krzysztof Kuchcinski	More...				over 8 years ago
Adding Travis configuration file	Radoslaw Szymanek	More...				over 8 years ago
Correcting a problem in minizinc that variables in arrays that are introduced by the minizinc compilers are including in the default search. Currently variables annotated var_is_introduced (both in arrays and in var declaration) are excluded from default search.	Krzysztof Kuchcinski	More...				over 8 years ago
Improvements in Linear/Sum.	Krzysztof Kuchcinski	More...				over 8 years ago
Code cleaning and various improvements.	Krzysztof Kuchcinski	More...				over 8 years ago
Adding definitions for SAT solver for constraints (x = const) <=> b, (x != const) <=> b and (x in set) <=> b. They are commented on constraints generation for flatzinc, when SAT solver is used, since they slow down the solver. More work is needed...	Krzysztof Kuchcinski	More...				over 8 years ago
Fixing a bug when Linear constraint is an argument for Xor constraint. Changing explanation that Linear and LinearFloat do not work as parameters for other constraints. Making Linear deprected.	Krzysztof Kuchcinski	More...				over 8 years ago
Fixing a bug in Distance constraint.	Krzysztof Kuchcinski	More...				over 8 years ago
Fixing an anonymous name for BooleanVar that did not get into last release.	Krzysztof Kuchcinski	More...				over 8 years ago
Improving circuit and subcircuit constraints. The indexing of nodes in the graph can start from an arbitrary number and if not fixed to 1 any longer.	Krzysztof Kuchcinski	More...				over 8 years ago
Fix of a bug in GCC that produced outOfBoundsException.	Krzysztof Kuchcinski	More...				over 8 years ago
Changing version to 4.4.0-SNAPSHOT	Radoslaw Szymanek	More...				almost 9 years ago
Merge branch 'release/4.3.0' into develop	Radoslaw Szymanek	More...				almost 9 years ago
Merge branch 'release/4.3.0'	Radoslaw Szymanek	More...				almost 9 years ago
Preparing release, changing version numbers to 4.3	Radoslaw Szymanek	More...				almost 9 years ago
Correcting generation of xor SAT clauses for arbitrary number of variables.	Krzysztof Kuchcinski	More...				almost 9 years ago
Performance improvement for Max and Min constraints; specially for large lists of variables.	Krzysztof Kuchcinski	More...				almost 9 years ago
Corrections of debugging information.	Krzysztof Kuchcinski	More...				almost 9 years ago
Debugging print-out for SatTranslate.	Krzysztof Kuchcinski	More...				almost 9 years ago
Corrections, improvements,...	Krzysztof Kuchcinski	More...				almost 9 years ago

←
1
2
…
34
35
36
37
38
39
40
41
42
…
45
46
→