always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
ed1b05d1d823968e5160dfc5bf20794867c1c6c7
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
bazel: export some sat/ fuzztest
2024-11-20 14:29:18 +01:00
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
bazel: export some sat/ fuzztest
2024-11-20 14:29:18 +01:00
EnumerateAllSolutionsOfEmptyModel
bazel: export some sat/ fuzztest
2024-11-20 14:29:18 +01:00
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
bazel: export some sat/ fuzztest
2024-11-20 14:29:18 +01:00
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
bazel: export some sat/ fuzztest
2024-11-20 14:29:18 +01:00
NonInstantiatedVariables
bazel: export some sat/ fuzztest
2024-11-20 14:29:18 +01:00
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
bazel: export some sat/ fuzztest
2024-11-20 14:29:18 +01:00
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
bazel: export some sat/ fuzztest
2024-11-20 14:29:18 +01:00
SimpleInterval
bazel: export some sat/ fuzztest
2024-11-20 14:29:18 +01:00
SimpleLinearExampleWithMaximize
bazel: export some sat/ fuzztest
2024-11-20 14:29:18 +01:00
SimpleOptionalIntervalFeasible
more work on CP-SAT python; lots of fixes for bugs found by fuzzer
2025-01-10 22:25:44 +01:00
SimpleOptionalIntervalInfeasible
bazel: export some sat/ fuzztest
2024-11-20 14:29:18 +01:00
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
bazel: export some sat/ fuzztest
2024-11-20 14:29:18 +01:00
SolutionHintOptimalObjectiveTest
bazel: export some sat/ fuzztest
2024-11-20 14:29:18 +01:00
SolutionsAreCorrectlyPostsolvedInTheObserver
bazel: export some sat/ fuzztest
2024-11-20 14:29:18 +01:00
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
bazel: export some sat/ fuzztest
2024-11-20 14:29:18 +01:00
TightenedDomainsIfInfeasible
bazel: export some sat/ fuzztest
2024-11-20 14:29:18 +01:00
TrivialModelWithCore
bazel: export some sat/ fuzztest
2024-11-20 14:29:18 +01:00
UnsatProblem
bazel: export some sat/ fuzztest
2024-11-20 14:29:18 +01:00