1
I Use This!
Moderate Activity

Commits : Listings

Analyzed about 18 hours ago. based on code collected 1 day ago.
Dec 07, 2022 — Dec 07, 2023
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
changing version to snapshot More... 20 days ago
preparing release 4.10 More... 20 days ago
Code cleaning. More... 24 days ago
Code cleaning and bug corrections. More... 24 days ago
Implementation of SeqPrecedeChain constraint. Included in flatzinc. More... 26 days ago
New primitive constraint AllEqual. More... about 1 month ago
Bug correction and small improvements. More... about 1 month ago
Bug fix. More... about 1 month ago
Small improvement in generation of implies constraint in flatzinc. More... about 1 month ago
Small improvement of constraint generation from flatzinc bool_clause_reif when second part of the clause is missing. More... about 2 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... about 2 months ago
Improvement of IfThenElse generation from flatzinc. More... 2 months ago
Removing duplicated tuples from Table constraint in flatzinc. More... 2 months ago
Making tiebreak flatzinc annotation working for Boolean search. Code cleaning. More... 2 months ago
Code cleaning. More... 2 months ago
Change to Scala 2.13.12. Code cleaning. More... 2 months ago
Code cleaning; mostly types. More... 2 months ago
Cleaning code; mostly types. More... 2 months ago
Code cleaning. More... 2 months ago
Spelling correction. More... 3 months ago
Adding JaCoP guide pdf to docs More... 3 months ago
Heuristic for selection of Alldistinct instead of Alldiff for minizinc all_different constraint. More... 3 months ago
Code cleaning. More... 3 months ago
Code cleaning. More... 3 months ago
Flatzinc definition of value_precede_chain for JaCoP. More... 3 months ago
Implementation of value_precede_chain using several value_precede in flatzinc compiler. More... 3 months ago
Improvements of member constraint and its generation from flatzinc. More... 3 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... 3 months ago
Adding shape number to Geost print-out (toString() method). More... 5 months ago
Format improvement. More... 5 months ago