Package com.google.ortools.sat

Classes
class	AffineExpression
	A specialized linear expression: a * x + b. More...
class	AutomatonConstraint
	Specialized automaton constraint. More...
class	BoolVar
	An Boolean variable. More...
class	CircuitConstraint
	Specialized circuit constraint. More...
class	ConstantExpression
	A specialized constant linear expression. More...
class	Constraint
	Wrapper around a ConstraintProto. More...
class	CpModel
	Main modeling class. More...
class	CpSolver
	Wrapper around the SAT solver. More...
class	CpSolverSolutionCallback
	Parent class to create a callback called at each solution. More...
class	CumulativeConstraint
	Specialized cumulative constraint. More...
class	DoubleLinearExpr
	A linear expression interface that can be parsed. More...
class	IntervalVar
	An interval variable. More...
class	IntVar
	An integer variable. More...
interface	LinearArgument
	A object that can build a LinearExpr object. More...
interface	LinearExpr
	A linear expression (sum (ai * xi) + b). More...
class	LinearExprBuilder
	Builder class for the LinearExpr container. More...
interface	Literal
	Interface to describe a boolean variable or its negation. More...
class	MultipleCircuitConstraint
	Specialized multiple circuit constraint. More...
class	NoOverlap2dConstraint
	Specialized NoOverlap2D constraint. More...
class	NotBoolVar
	The negation of a boolean variable. More...
class	ReservoirConstraint
	Specialized reservoir constraint. More...
class	TableConstraint
	Specialized assignment constraint. More...
class	WeightedSumExpression
	A specialized linear expression: sum(ai * xi) + b. More...