Package com.google.ortools.sat

Classes
class	AllDifferentConstraintProto
interface	AllDifferentConstraintProtoOrBuilder
class	AutomatonConstraintProto
interface	AutomatonConstraintProtoOrBuilder
class	BoolArgumentProto
interface	BoolArgumentProtoOrBuilder
class	CircuitConstraintProto
interface	CircuitConstraintProtoOrBuilder
class	CircuitCoveringConstraintProto
interface	CircuitCoveringConstraintProtoOrBuilder
class	Constraint
	Wrapper around a ConstraintProto. More...
class	ConstraintProto
interface	ConstraintProtoOrBuilder
class	CpModel
	Main modeling class. More...
class	CpModelProto
class	CpModelProtobuf
interface	CpModelProtoOrBuilder
class	CpObjectiveProto
interface	CpObjectiveProtoOrBuilder
class	CpSolver
	Wrapper around the SAT solver. More...
class	CpSolverResponse
interface	CpSolverResponseOrBuilder
class	CpSolverSolutionCallback
	Parent class to create a callback called at each solution. More...
enum	CpSolverStatus
class	CumulativeConstraintProto
interface	CumulativeConstraintProtoOrBuilder
class	DecisionStrategyProto
interface	DecisionStrategyProtoOrBuilder
class	Difference
	the substraction of two linear expressions.
class	ElementConstraintProto
interface	ElementConstraintProtoOrBuilder
class	IntegerArgumentProto
interface	IntegerArgumentProtoOrBuilder
class	IntegerVariableProto
interface	IntegerVariableProtoOrBuilder
class	IntervalConstraintProto
interface	IntervalConstraintProtoOrBuilder
class	IntervalVar
	An interval variable. More...
class	IntVar
	An integer variable. More...
class	InverseConstraintProto
interface	InverseConstraintProtoOrBuilder
class	LinearArgumentProto
	Protobuf type. More...
interface	LinearArgumentProtoOrBuilder
class	LinearConstraintProto
interface	LinearConstraintProtoOrBuilder
interface	LinearExpr
	A linear expression interface that can be parsed. More...
class	LinearExpressionProto
	Protobuf type. More...
interface	LinearExpressionProtoOrBuilder
interface	Literal
	Interface to describe a boolean variable or its negation. More...
class	NoOverlap2DConstraintProto
interface	NoOverlap2DConstraintProtoOrBuilder
class	NoOverlapConstraintProto
interface	NoOverlapConstraintProtoOrBuilder
class	NotBooleanVariable
	The negation of a boolean variable. More...
class	PartialVariableAssignment
interface	PartialVariableAssignmentOrBuilder
class	ReservoirConstraintProto
interface	ReservoirConstraintProtoOrBuilder
class	RoutesConstraintProto
interface	RoutesConstraintProtoOrBuilder
class	SatHelper
class	SatParameters
interface	SatParametersOrBuilder
class	SatParametersOuterClass
class	ScalProd
	A linear expression interface that can be parsed. More...
class	SolutionCallback
class	SumOfVariables
	A linear expression interface that can be parsed. More...
class	TableConstraintProto
interface	TableConstraintProtoOrBuilder