1
I Use This!
Inactive

Commits : Listings

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