1
I Use This!
Very Low Activity

Commits : Listings

Analyzed about 5 hours ago. based on code collected about 23 hours ago.
May 09, 2023 — May 09, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Adding backtracking information in the printout. More... about 8 years ago
Correcting spelling error, changing print-outs and adding and item to CHANGELOG. More... about 8 years ago
VariableTrace is a "constraint" that only prints information on the variable when it is pruned. More... about 8 years ago
Improving propagation for XmodYeqZ. More... about 8 years ago
Removing commented code. Moved to build class FailConstraintsStatistics. More... about 8 years ago
New class FailConstraintsStatitstics that implements consistency listener. I collects numbers of failed constraints.Use of this class in flatzinc. More... about 8 years ago
Correcting bug in ElementVariable. It happen when the last execution of the constraint updated index and then the variable on the list has not been updated to equal the value. More... about 8 years ago
Using not deprecated Asserts and use them properly More... about 8 years ago
Removing warnings in javadoc. More... about 8 years ago
Adding type specification for usages of QueueForward More... about 8 years ago
QueueForward for all nesting constraints plus some tests More... about 8 years ago
Adding QueueForward class to simplify queuing var changes to nested constraints More... about 8 years ago
Improvement in computing bounds for floating points intervals. More... about 8 years ago
Adding information to CHANGELOG on new featires and bug corrections. More... about 8 years ago
Cleaning unnecessary queueVaribale methods. More... about 8 years ago
Correcting wrong method call for notConsistency in AndBool. More... about 8 years ago
Correcting a bug in AndBoolSimple. More... about 8 years ago
Fixing a bug that resulted in null pointer when a list of constraint was empty. More... about 8 years ago
New constructor for LinearIntDom that makes it possible to define result as IntVar. More... about 8 years ago
Improvement in ExpPeqR/LnPeqR constraints (does not generate overflow). Adding log10 and log2 to flatzinc interpreter. More... about 8 years ago
Making Reified constraint primitive as Xor constraint. More... about 8 years ago
Correcting an error in Scala definition of sum with weights. Adding element specification on BoolVar in Scala that can use v(b) form. More... about 8 years ago
Adding possibility to Scala wrapper to define element constraint on a list of BoolVar as array access. More... about 8 years ago
Updating the CHANGELOG. More... about 8 years ago
Adding SumFloat and new constructor for LinearFloat. More... about 8 years ago
Changing description of the IndomainList. More... about 8 years ago
Changing print-out format for FloatVar. More... about 8 years ago
Printing BooleanVar when printing store. Update of CHANGELOG. More... about 8 years ago
Further improvement of the comparator in LinearFloat. More... about 8 years ago
Changes in comaprator in floating-point Linear constraint that do not generate IllegalArgumentException. More... about 8 years ago