ortools/sat/fuzz_testdata - google/or-tools

Google's Operations Research tools:

0 0 0 C++

	AtMostOneModel	381 B
	AutomatonModel	834 B
	BadHintWithCore	466 B
	CircuitModel	508 B
	DualConnectedComponentsModel	825 B
	ElementModel	413 B
	EnumerateAllSolutions	489 B
	EnumerateAllSolutionsBis	283 B
	EnumerateAllSolutionsOfEmptyModel	210 B
	ExactlyOneModel	460 B
	FixedBoxes	15.7 KB
	HintWithCore	423 B
	IntProdModel	329 B
	InverseModel	436 B
	LinMaxModel	362 B
	MultipleCumulativesA	5.5 KB
	MultipleCumulativesB	8.2 KB
	MultipleEnforcementLiteral	410 B
	NonInstantiatedVariables	285 B
	NoOverlap2DOptimization	3.1 KB
	ObjectiveDomainLowerBound	348 B
	PureSatProblem	28.5 KB
	PureSatProblemWithLimit	38.8 KB
	ReservoirModel	461 B
	RoutingModel	52.8 KB
	SimpleCumulative	833 B
	SimpleInterval	610 B
	SimpleLinearExampleWithMaximize	375 B
	SimpleOptionalIntervalFeasible	1.1 KB
	SimpleOptionalIntervalInfeasible	1.1 KB
	SmallDualConnectedComponentsModel	601 B
	SolutionHintBasicTest	62.5 KB
	SolutionHintEnumerateTest	328 B
	SolutionHintObjectiveTest	456 B
	SolutionHintOptimalObjectiveTest	458 B
	SolutionsAreCorrectlyPostsolvedInTheObserver	248 B
	TableProblem	268 B
	TightenedDomains	350 B
	TightenedDomainsIfInfeasible	352 B
	TrivialModelWithCore	170 B
	UnsatProblem	283 B