Package com.google.ortools.sat

Classes
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	Difference
	the substraction of two linear expressions.
class	IntervalVar
	An interval variable. More...
class	IntVar
	An integer variable. More...
interface	LinearExpr
	A linear expression interface that can be parsed. More...
interface	Literal
	Interface to describe a boolean variable or its negation. More...
class	NotBooleanVariable
	The negation of a boolean variable. More...
class	ScalProd
	A linear expression interface that can be parsed. More...
class	SumOfVariables
	A linear expression interface that can be parsed. More...