1
I Use This!
Low Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 2 days ago.
Mar 26, 2023 — Mar 26, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
changing version to snapshot More... 4 months ago
preparing release 4.10 More... 4 months ago
Code cleaning. More... 5 months ago
Code cleaning and bug corrections. More... 5 months ago
Implementation of SeqPrecedeChain constraint. Included in flatzinc. More... 5 months ago
New primitive constraint AllEqual. More... 5 months ago
Bug correction and small improvements. More... 5 months ago
Bug fix. More... 5 months ago
Small improvement in generation of implies constraint in flatzinc. More... 5 months ago
Small improvement of constraint generation from flatzinc bool_clause_reif when second part of the clause is missing. More... 5 months ago
1. Possibility to use sat solver in flatzinc if number of Boolean constraints is high (default all constraints are Boolean). 2. performance improvements in clause generation and in element constraints (from flatzinc). More... 6 months ago
Improvement of IfThenElse generation from flatzinc. More... 6 months ago
Removing duplicated tuples from Table constraint in flatzinc. More... 6 months ago
Making tiebreak flatzinc annotation working for Boolean search. Code cleaning. More... 6 months ago
Code cleaning. More... 6 months ago
Change to Scala 2.13.12. Code cleaning. More... 6 months ago
Code cleaning; mostly types. More... 6 months ago
Cleaning code; mostly types. More... 6 months ago
Code cleaning. More... 6 months ago
Spelling correction. More... 6 months ago
Adding JaCoP guide pdf to docs More... 6 months ago
Heuristic for selection of Alldistinct instead of Alldiff for minizinc all_different constraint. More... 7 months ago
Code cleaning. More... 7 months ago
Code cleaning. More... 7 months ago
Flatzinc definition of value_precede_chain for JaCoP. More... 7 months ago
Implementation of value_precede_chain using several value_precede in flatzinc compiler. More... 7 months ago
Improvements of member constraint and its generation from flatzinc. More... 7 months ago
Moving creation of load vector from minizinc compiler to JaCoP for bin_packing and bin_packing_capa. In this way the variables defining load (constants in minizinc) are not unnecessarily included in search (free or complementary). More... 7 months ago
Adding shape number to Geost print-out (toString() method). More... 9 months ago
Format improvement. More... 9 months ago