1
I Use This!
Low Activity

Commits : Listings

Analyzed about 24 hours ago. based on code collected 2 days ago.
Mar 27, 2023 — Mar 27, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Replacing down and up methods for floating-points with methods from java.lang.Math. Updating maven's plug-in to current version. More... almost 4 years ago
Adding code to recognize trivial cases when x == y. More... almost 4 years ago
Adding code to catch trivial consitent or inconsistent cases. More... almost 4 years ago
Removing Java compiler warnings for version 14. More... almost 4 years ago
Merge remote-tracking branch 'github/develop' into develop More... almost 4 years ago
Merge pull request #39 from radsz/dependabot/maven/com.puppycrawl.tools-checkstyle-8.29 More... almost 4 years ago
Updating CHANGELOG. More... about 4 years ago
Small performance improvements in cumulative constraints. More... about 4 years ago
New, improved duration pruning in CumulativeBasic constraint. More... about 4 years ago
Correcting generation linearIntDom. More... about 4 years ago
Adding conditional constraint to Scala. More... about 4 years ago
Ignoring not implemented search annotations, such as "warm_start", instead of aborting execution. More... about 4 years ago
Changes in print-outs in Scala examples. More... about 4 years ago
Bump checkstyle from 8.21 to 8.29 More... about 4 years ago
Adding member constraint to scala wrapper. More... about 4 years ago
Bug correction. More... about 4 years ago
1. Removing scala-xml from pom since it is not used. 2. Adding constraint Implies to scala implies operator "->". More... about 4 years ago
Making scala part compatible with version 2.13.1. More... about 4 years ago
Adding comment sign "%" when printing clauses in debug mode. More... about 4 years ago
1. Making flatzinc options -a and -n working correctly. 2. Improvements in propagation of reified AtLeast and AtMost. More... about 4 years ago
Minizinc library predicates for reified parametric count that can be compiled to reified AtLeast and AtMost constraints. More... about 4 years ago
New constraint CountVar and its flatzinc interface. More... over 4 years ago
New counting constraints that compile to at_least and at_most since these constraints are deprecated from version 2.4 of MIniZInc. More... over 4 years ago
Update of CHANGELOG. More... over 4 years ago
Pruning improvements in XinA; adding new cases for flatzinc generation of set_in_reif. More... over 4 years ago
Improving flatzinc constraint bool_xor_imp. More... over 4 years ago
Implementing missing flatzinc constraint bool_xor_imp. More... over 4 years ago
Merge pull request #33 from Dagefoerde/trivial-neq More... over 4 years ago
Merge pull request #35 from cesarsotovalero/develop More... over 4 years ago
Merge pull request #36 from cesarsotovalero/patch-1 More... over 4 years ago