1
I Use This!
Low Activity

Commits : Listings

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