always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
04d0dbc606682972d396605fd65869987f604bd5
ortools-clone/ortools/sat/fuzz_testdata
History
Laurent Perron 9d82a36f55 [CP-SAT] improve opb file support; minor fuzzer bug fixes
2025-04-14 16:35:59 +02:00
..
AtMostOneModel
[CP-SAT] more spans; more fuzztest seeds; generate doc for the pybind11 wrapped C++ classes; rename cp_model.py helper modules
2025-01-09 16:04:43 +01:00
AutomatonModel
[CP-SAT] more spans; more fuzztest seeds; generate doc for the pybind11 wrapped C++ classes; rename cp_model.py helper modules
2025-01-09 16:04:43 +01:00
BadHintWithCore
…
CircuitModel
[CP-SAT] more spans; more fuzztest seeds; generate doc for the pybind11 wrapped C++ classes; rename cp_model.py helper modules
2025-01-09 16:04:43 +01:00
DualConnectedComponentsModel
[CP-SAT] more cleanups; routing cuts experiments
2025-03-26 15:03:38 -07:00
ElementModel
[CP-SAT] more spans; more fuzztest seeds; generate doc for the pybind11 wrapped C++ classes; rename cp_model.py helper modules
2025-01-09 16:04:43 +01:00
EnumerateAllSolutions
minor optims
2025-04-10 11:40:38 +02:00
EnumerateAllSolutionsBis
…
EnumerateAllSolutionsOfEmptyModel
…
ExactlyOneModel
[CP-SAT] more spans; more fuzztest seeds; generate doc for the pybind11 wrapped C++ classes; rename cp_model.py helper modules
2025-01-09 16:04:43 +01:00
FixedBoxes
minor optims
2025-04-10 11:40:38 +02:00
HintWithCore
…
IntProdModel
[CP-SAT] more spans; more fuzztest seeds; generate doc for the pybind11 wrapped C++ classes; rename cp_model.py helper modules
2025-01-09 16:04:43 +01:00
InverseModel
[CP-SAT] more spans; more fuzztest seeds; generate doc for the pybind11 wrapped C++ classes; rename cp_model.py helper modules
2025-01-09 16:04:43 +01:00
LinMaxModel
[CP-SAT] more spans; more fuzztest seeds; generate doc for the pybind11 wrapped C++ classes; rename cp_model.py helper modules
2025-01-09 16:04:43 +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:17:42 +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:17:42 +01:00
MultipleEnforcementLiteral
…
NonInstantiatedVariables
…
NoOverlap2DOptimization
[CP-SAT] more spans; more fuzztest seeds; generate doc for the pybind11 wrapped C++ classes; rename cp_model.py helper modules
2025-01-09 16:04:43 +01:00
ObjectiveDomainLowerBound
…
PureSatProblem
[CP-SAT] more spans; more fuzztest seeds; generate doc for the pybind11 wrapped C++ classes; rename cp_model.py helper modules
2025-01-09 16:04:43 +01:00
PureSatProblemWithLimit
[CP-SAT] more spans; more fuzztest seeds; generate doc for the pybind11 wrapped C++ classes; rename cp_model.py helper modules
2025-01-09 16:04:43 +01:00
ReservoirModel
[CP-SAT] more spans; more fuzztest seeds; generate doc for the pybind11 wrapped C++ classes; rename cp_model.py helper modules
2025-01-09 16:04:43 +01:00
RoutingModel
minor optims
2025-04-10 11:40:38 +02:00
SimpleCumulative
…
SimpleInterval
…
SimpleLinearExampleWithMaximize
…
SimpleOptionalIntervalFeasible
more work on CP-SAT python; lots of fixes for bugs found by fuzzer
2025-01-10 22:25:44 +01:00
SimpleOptionalIntervalInfeasible
…
SmallDualConnectedComponentsModel
[CP-SAT] more cleanups; routing cuts experiments
2025-03-26 15:03:38 -07:00
SolutionHintBasicTest
[CP-SAT] more spans; more fuzztest seeds; generate doc for the pybind11 wrapped C++ classes; rename cp_model.py helper modules
2025-01-09 16:04:43 +01:00
SolutionHintEnumerateTest
[CP-SAT] more spans; more fuzztest seeds; generate doc for the pybind11 wrapped C++ classes; rename cp_model.py helper modules
2025-01-09 16:04:43 +01:00
SolutionHintObjectiveTest
…
SolutionHintOptimalObjectiveTest
…
SolutionsAreCorrectlyPostsolvedInTheObserver
…
TableProblem
[CP-SAT] more spans; more fuzztest seeds; generate doc for the pybind11 wrapped C++ classes; rename cp_model.py helper modules
2025-01-09 16:04:43 +01:00
TightenedDomains
…
TightenedDomainsIfInfeasible
…
TrivialModelWithCore
…
UnsatProblem
…