Open Hub
Open Hub

 Settings |  Report Duplicate

1
I Use This!
Inactive

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.
Nov 01, 2024 — Nov 01, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
SumDuplicates can result in linear constraint with no variables, entail the constraint if it happens
scand1sk
as Julien Vion
More... over 10 years ago
SumDomains now filter NE mode using RangeSet. Also detects entailment.
scand1sk
as Julien Vion
More... over 10 years ago
Remove constants from reified sum constraints, plus bug correction (sum constraints were dereified)
scand1sk
as Julien Vion
More... over 10 years ago
Bug in SubsumedDiff pattern
scand1sk
as Julien Vion
More... over 10 years ago
Corrected detection of AbsDiff constraints, but disable them for now
scand1sk
as Julien Vion
More... over 10 years ago
Added assertion to detect Equality constraints
scand1sk
as Julien Vion
More... over 10 years ago
Displays final Problem using logger.info before starting search
scand1sk
as Julien Vion
More... over 10 years ago
Added toString to SumAC
scand1sk
as Julien Vion
More... over 10 years ago
Replaced Option matchers with map/getOrElse in AbsDiffBC, removed duplicated code for Interval.union
scand1sk
as Julien Vion
More... over 10 years ago
AbsAC now removes negative values from result
scand1sk
as Julien Vion
More... over 10 years ago
Improved logging/requirement display for MAC
scand1sk
as Julien Vion
More... over 10 years ago
Added methods to obtain info on optimization modes
scand1sk
as Julien Vion
More... over 10 years ago
Added travis.yml file
scand1sk
as Julien Vion
More... over 10 years ago
Added logback configuration to filter out logs not coming from Concrete (disabled for now)
scand1sk
as Julien Vion
More... over 10 years ago
Updated battleships_2 using MiniZinc 2.0.1
scand1sk
as Julien Vion
More... over 10 years ago
ConstraintComparator does not need to extend FlatSpec
scand1sk
as Julien Vion
More... over 10 years ago
Additional tests for ReifiedConstraint
scand1sk
as Julien Vion
More... over 10 years ago
Throws AssertionError instead of IllegalStateException when an incorrect solution is found
scand1sk
as Julien Vion
More... over 10 years ago
Additional tests in SumGenerator
scand1sk
as Julien Vion
More... over 10 years ago
Refactored FZConcrete to extract FZSolve interpretation
scand1sk
as Julien Vion
More... over 10 years ago
Corrected SumGenerator to give both BC and AC reified variants when positive constraint is AC and negative is AC/BC
scand1sk
as Julien Vion
More... over 10 years ago
Added realUnion method for domain splitting in AbsBC
scand1sk
as Julien Vion
More... over 10 years ago
AbsBC is now able to split domains (i.e. [1] = | [-1, -1] ++ [1, 1] |).
scand1sk
as Julien Vion
More... over 10 years ago
Bug in Neq.isConsistent (forgot to take constant param into account)
scand1sk
as Julien Vion
More... over 10 years ago
Reified not-equals now use SumNE instead of not(eq(...)) to avoid additional bool variables, updated AllDiff detection patterns accordingly
scand1sk
as Julien Vion
More... over 10 years ago
SolvingTest takes FlatZinc goals into account
scand1sk
as Julien Vion
More... over 10 years ago
Added tests for Interval.intersection
scand1sk
as Julien Vion
More... over 10 years ago
Moved GCD calculations to Math.util
scand1sk
as Julien Vion
More... over 10 years ago
Minor bugs/cosmetic/println changes
scand1sk
as Julien Vion
More... over 10 years ago
Corrected Solver.apply which swallowed exceptions in CSPOMCompiler
scand1sk
as Julien Vion
More... over 10 years ago