1
I Use This!
Low Activity

Commits : Listings

Analyzed about 15 hours ago. based on code collected about 21 hours ago.
Apr 23, 2023 — Apr 23, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Introduction of FloatVar, its domain, operations on the FloatDomain as well as several basic constraints on FloatVar. Changing in SimpleSolutionListener to make it search possible. No optimization with FloatVar is yet possible. More... about 10 years ago
Changes in flatzinc to conform to flatzinc standard. Bug fixes in setting set constraints. Bug fix in Linear constraint. FailException cannot be thrown when method queueVariable is executed since it cannot be catch by the solver. More... about 10 years ago
Correcting set le and ge with right version of org.jacop.set.constraints.Lex allowing equality. More... about 10 years ago
Adding, in flatzinc, reification for set constraint A != B. More... about 10 years ago
Correcting method for determining not satisfiability of AinB constraints. More... about 10 years ago
Correcting an error when, in flatzinc, a set element constraint is defined with the list of set variables. Such constraint is not available in JaCoP and the model is not posed. More... about 10 years ago
Correcting a bug in creation of element constraint in flatzinc. More... about 10 years ago
Implementing for flatzinc set variable selection heuristic "largest". More... over 10 years ago
1. Adding alldistinct constraint for circuit when domain consistency is reqiuired by specifying domain annotation. 2. Lex constraint decomposition is change to make primitive constraints when only two lists are given regardless of the size of lists. It will be used by flatzinc. More... over 10 years ago
Adding implied constraint Alldistinct (complete version of alldifferent) when annotation domain is present in flatzinc. More... over 10 years ago
Correcting incorrect behaviour of IndomainMiddle in case of SmallDenseDomain. It performed indomain median instead. More... over 10 years ago
We do merge since Constraint file is ahead of develop. More... over 10 years ago
Merge branch 'feature/efficient-smalldensedomain' into develop More... over 10 years ago
Improving max constraint generation in flatzinc when argumnet is greater equal the other one. In such case equality constraint can be posed. More... over 10 years ago
Fixing a bug defining pririty for the constraint. More... over 10 years ago
Refactoring the equality check to make it quicker More... over 10 years ago
Making selection of which domain (interval or small dense) easier by selecting boolean interval variable. More... over 10 years ago
Adding check for singleton to in methods to avoid generating false ground events More... over 10 years ago
Changing the artefact version to 4.0.1-SNAPSHOT More... over 10 years ago
Merge branch 'release/jacop-4.0.0' into develop More... over 10 years ago
Merge branch 'release/jacop-4.0.0' More... over 10 years ago
Changing version to 4.0.0 More... over 10 years ago
Updating CHANGELOG to reflect refactoring of stochastic and JaSAT feature More... over 10 years ago
Initial version of the wiki explaining JaCoP gitflow More... over 10 years ago
Removing not stable features stochastic and sat More... over 10 years ago
Fixing warnings in API documentation. More... over 10 years ago
Adding commands to generate API documentation. More... over 10 years ago
Code clenaing. More... over 10 years ago
Use of Scala 2.10.3 More... over 10 years ago
New element generation in Scala wrapper. More... over 10 years ago