Laurent Perron dbe123f225 [CP-SAT] more spans; one more case of preserving hints during presolve; new packing LNS; propagate objective in LNS

2024-12-02 17:22:36 +01:00

..

BadHintWithCore

backport sat fuzztest from main

2024-11-20 17:30:24 +01:00

DualConnectedComponentsModel

backport sat fuzztest from main

2024-11-20 17:30:24 +01:00

EnumerateAllSolutions

backport sat fuzztest from main

2024-11-20 17:30:24 +01:00

EnumerateAllSolutionsBis

backport sat fuzztest from main

2024-11-20 17:30:24 +01:00

EnumerateAllSolutionsOfEmptyModel

backport sat fuzztest from main

2024-11-20 17:30:24 +01:00

HintWithCore

backport sat fuzztest from main

2024-11-20 17:30:24 +01:00

InvalidProblem

backport sat fuzztest from main

2024-11-20 17:30:24 +01:00

MultipleCumulativesA

[CP-SAT] more spans; one more case of preserving hints during presolve; new packing LNS; propagate objective in LNS

2024-12-02 17:22:36 +01:00

MultipleCumulativesB

[CP-SAT] more spans; one more case of preserving hints during presolve; new packing LNS; propagate objective in LNS

2024-12-02 17:22:36 +01:00

MultipleEnforcementLiteral

backport sat fuzztest from main

2024-11-20 17:30:24 +01:00

NonInstantiatedVariables

backport sat fuzztest from main

2024-11-20 17:30:24 +01:00

ObjectiveDomainLowerBound

backport sat fuzztest from main

2024-11-20 17:30:24 +01:00

PureSatProblem

backport sat fuzztest from main

2024-11-20 17:30:24 +01:00

PureSatProblemWithLimit

backport sat fuzztest from main

2024-11-20 17:30:24 +01:00

SimpleCumulative

backport sat fuzztest from main

2024-11-20 17:30:24 +01:00

SimpleInterval

backport sat fuzztest from main

2024-11-20 17:30:24 +01:00

SimpleLinearExampleWithMaximize

backport sat fuzztest from main

2024-11-20 17:30:24 +01:00

SimpleOptionalIntervalFeasible

backport sat fuzztest from main

2024-11-20 17:30:24 +01:00

SimpleOptionalIntervalInfeasible

backport sat fuzztest from main

2024-11-20 17:30:24 +01:00

SmallDualConnectedComponentsModel

backport sat fuzztest from main

2024-11-20 17:30:24 +01:00

SolutionHintBasicTest

backport sat fuzztest from main

2024-11-20 17:30:24 +01:00

SolutionHintEnumerateTest

backport sat fuzztest from main

2024-11-20 17:30:24 +01:00

SolutionHintObjectiveTest

backport sat fuzztest from main

2024-11-20 17:30:24 +01:00

SolutionHintOptimalObjectiveTest

backport sat fuzztest from main

2024-11-20 17:30:24 +01:00

SolutionsAreCorrectlyPostsolvedInTheObserver

backport sat fuzztest from main

2024-11-20 17:30:24 +01:00

TightenedDomains

backport sat fuzztest from main

2024-11-20 17:30:24 +01:00

TightenedDomainsIfInfeasible

backport sat fuzztest from main

2024-11-20 17:30:24 +01:00

TrivialLinearTranslatedModel

backport sat fuzztest from main

2024-11-20 17:30:24 +01:00

TrivialModelWithCore

backport sat fuzztest from main

2024-11-20 17:30:24 +01:00

UnsatProblem

backport sat fuzztest from main

2024-11-20 17:30:24 +01:00