always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
dfcec1fde6f7cf86939d50a52b43d6cfb67edb53
ortools-clone/ortools/sat/fuzz_testdata
History
Laurent Perron 6e405723c4 [CP-SAT] improve opb file support; minor fuzzer bug fixes
2025-04-14 16:45:06 +02:00
..
AtMostOneModel
big graph cleaning; rewrite CP-SAT python layer; rewrite model_builder python layer; reorganize CP-SAT scheduling and packing code
2025-01-15 13:51:40 +01:00
AutomatonModel
big graph cleaning; rewrite CP-SAT python layer; rewrite model_builder python layer; reorganize CP-SAT scheduling and packing code
2025-01-15 13:51:40 +01:00
BadHintWithCore
…
CircuitModel
big graph cleaning; rewrite CP-SAT python layer; rewrite model_builder python layer; reorganize CP-SAT scheduling and packing code
2025-01-15 13:51:40 +01:00
DualConnectedComponentsModel
[CP-SAT] more cleanups; routing cuts experiments
2025-03-26 15:12:12 -07:00
ElementModel
big graph cleaning; rewrite CP-SAT python layer; rewrite model_builder python layer; reorganize CP-SAT scheduling and packing code
2025-01-15 13:51:40 +01:00
EnumerateAllSolutions
minor optims
2025-04-10 11:41:06 +02:00
EnumerateAllSolutionsBis
…
EnumerateAllSolutionsOfEmptyModel
…
ExactlyOneModel
big graph cleaning; rewrite CP-SAT python layer; rewrite model_builder python layer; reorganize CP-SAT scheduling and packing code
2025-01-15 13:51:40 +01:00
FixedBoxes
minor optims
2025-04-10 11:41:06 +02:00
HintWithCore
…
IntProdModel
big graph cleaning; rewrite CP-SAT python layer; rewrite model_builder python layer; reorganize CP-SAT scheduling and packing code
2025-01-15 13:51:40 +01:00
InverseModel
big graph cleaning; rewrite CP-SAT python layer; rewrite model_builder python layer; reorganize CP-SAT scheduling and packing code
2025-01-15 13:51:40 +01:00
LinMaxModel
big graph cleaning; rewrite CP-SAT python layer; rewrite model_builder python layer; reorganize CP-SAT scheduling and packing code
2025-01-15 13:51:40 +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
…
NonInstantiatedVariables
…
NoOverlap2DOptimization
big graph cleaning; rewrite CP-SAT python layer; rewrite model_builder python layer; reorganize CP-SAT scheduling and packing code
2025-01-15 13:51:40 +01:00
ObjectiveDomainLowerBound
…
PureSatProblem
big graph cleaning; rewrite CP-SAT python layer; rewrite model_builder python layer; reorganize CP-SAT scheduling and packing code
2025-01-15 13:51:40 +01:00
PureSatProblemWithLimit
big graph cleaning; rewrite CP-SAT python layer; rewrite model_builder python layer; reorganize CP-SAT scheduling and packing code
2025-01-15 13:51:40 +01:00
ReservoirModel
big graph cleaning; rewrite CP-SAT python layer; rewrite model_builder python layer; reorganize CP-SAT scheduling and packing code
2025-01-15 13:51:40 +01:00
RoutingModel
minor optims
2025-04-10 11:41:06 +02:00
SimpleCumulative
…
SimpleInterval
…
SimpleLinearExampleWithMaximize
…
SimpleOptionalIntervalFeasible
big graph cleaning; rewrite CP-SAT python layer; rewrite model_builder python layer; reorganize CP-SAT scheduling and packing code
2025-01-15 13:51:40 +01:00
SimpleOptionalIntervalInfeasible
…
SmallDualConnectedComponentsModel
[CP-SAT] more cleanups; routing cuts experiments
2025-03-26 15:12:12 -07:00
SolutionHintBasicTest
big graph cleaning; rewrite CP-SAT python layer; rewrite model_builder python layer; reorganize CP-SAT scheduling and packing code
2025-01-15 13:51:40 +01:00
SolutionHintEnumerateTest
big graph cleaning; rewrite CP-SAT python layer; rewrite model_builder python layer; reorganize CP-SAT scheduling and packing code
2025-01-15 13:51:40 +01:00
SolutionHintObjectiveTest
…
SolutionHintOptimalObjectiveTest
…
SolutionsAreCorrectlyPostsolvedInTheObserver
…
TableProblem
big graph cleaning; rewrite CP-SAT python layer; rewrite model_builder python layer; reorganize CP-SAT scheduling and packing code
2025-01-15 13:51:40 +01:00
TightenedDomains
…
TightenedDomainsIfInfeasible
…
TrivialModelWithCore
…
UnsatProblem
…