1
I Use This!
Inactive

Commits : Listings

Analyzed about 13 hours ago. based on code collected about 13 hours ago.
Dec 06, 2024 — Dec 06, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Adding shape information to Geost toString() method. More... over 2 years ago
Implementation of toString() method for Geost constraint. More... over 2 years ago
Improvement, More... over 2 years ago
Improvement of Geost generation in flatzinc. More... over 2 years ago
Fix of repeated variables in geost constraint (in flatzinc). More... over 2 years ago
Merge commit '51de26d03eabbde7cc0842c7ce1001ab56da582c' into develop More... over 2 years ago
Bug fix. More... over 2 years ago
Adding WordGame example inspired by the game I played with Ralph More... over 2 years ago
Merge 'github/develop' into develop More... over 2 years ago
model simplification, using char letter value as domain value More... over 2 years ago
Bug fix. More... over 2 years ago
Bug fix. More... over 2 years ago
1. Flatzinc interpreter accepts now search with empty list of variables. 2. Fix in Binpacking in flatinc to accept capacity list with duplicated constant values. More... over 2 years ago
Update of pom.xml to new plugins. More... over 2 years ago
Improved trace/debug information for flatzinc interpreter internal constraints. More... over 2 years ago
Merge pull request #54 from radsz/dependabot/maven/org.scala-lang-scala-library-2.13.9 More... over 2 years ago
Small improvements in calculation of multiplication interval. More... over 2 years ago
Change of List<IntVar> to List<? extends IntVar> in parameters of constraints. Compatibility issue. More... over 2 years ago
More flexible lists of IntVar. Accpts extensions of IntVar, i.e. List<? extends IntVar>. More... over 2 years ago
Update of maven scala plug-in and change to the newest scala 2 version. More... over 2 years ago
Optimality checking in restart search. More... over 2 years ago
Implementation of tie breaking variable selection heuristic for priority search. Bug fix in restart search when used for optimization. More... over 2 years ago
Changes of definitions of floor, ceil and round constraints for Minizinc 2.7.1 (standard constraints). More... over 2 years ago
Cumulative constraints for optional tasks. More... over 2 years ago
Changes to make maven install work on Java version greater than 8. More... over 2 years ago
Recompilation of several flatzinc tests to use new global set constraints. Small changes to be compatible with javadoc. More... over 2 years ago
Implementation of PartitionSet constraint. More... over 2 years ago
Implementation for set channeling constraints for integer and Boolean variables. More... almost 3 years ago
Implementation of satisfied methods. More... almost 3 years ago
Implementation of round, floor and ceil constraints for floating-point variables. More... almost 3 years ago