1
I Use This!
Very Low Activity

Commits : Listings

Analyzed about 23 hours ago. based on code collected 1 day ago.
May 08, 2023 — May 08, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
First working version of cumulative constraints. Several bug fixes and performance improvements. More... over 7 years ago
Add ExampleBasetTest and QueueForwardTest More... over 7 years ago
Add ExampleBasetTest and QueueForwardTest More... over 7 years ago
Added an example for Conference Talk placement inspired by Softshake talk clash More... over 7 years ago
Adding Affero GPL license file More... over 7 years ago
Correction. More... over 7 years ago
Fix of a bug in SumInt that prohibited this constraint to compute a fix point in some situations. More... over 7 years ago
First working version of the new cummulative constraint (new propagators with O(knlogn) or O(nlogn) complexities). More... over 7 years ago
Changing pom file for Maven Central More... over 7 years ago
Small performance improvements. More... over 7 years ago
Update of CHANGELOG. More... over 7 years ago
Introducing a new version of LinerInt (the one that makes it posisble to define result as IntVar) in examples. More... over 7 years ago
Correcting print-out of empty array for challenge 2016. More... almost 8 years ago
Adding previously removed optimization for bool_clause. More... almost 8 years ago
Correcting a bug in generation of bool_clause_reif in flatzinc. More... almost 8 years ago
Fixing print-out for empty arrays. More... almost 8 years ago
Fixing a bug in initial domain declaration. More... almost 8 years ago
Adding handling of pow() constraint for any base values when exponent is integer. More... almost 8 years ago
Adding float_pow constraint to flatzinc parser. More... almost 8 years ago
MinizincBased tests More... almost 8 years ago
SmallDenseDomain tests More... almost 8 years ago
MaxRegretFloat variable selection method for FloatVar. More... almost 8 years ago
Generation of SumBool instead of OrBool, in flatzinc parser, in cases when result is 1. It is more efficient, see example grid-coloring from challenge2015. More... about 8 years ago
Performance improvement in Count constraint. More... about 8 years ago
Code cleaning. More... about 8 years ago
Print of statistics in a sorted way. First most failed constraints. More... about 8 years ago
Simple correction. More... about 8 years ago
Constraints MaxSimple and MinSimple for max and min of two variables and their use from flatzinc for int_max and int_min. More... about 8 years ago
Correcting comments for javadoc to work without errors. More... about 8 years ago
Better text for printout. More... about 8 years ago