1
I Use This!
Very Low Activity

Commits : Listings

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