always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
80686581f4730428dd089578c698a5d8a0b9cd6c
ortools-clone/ortools/sat/fuzz_testdata
History
Laurent Perron 54b8c24839 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
..
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
DiophantineModel
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
…
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
…
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
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
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
…
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
…