sat Directory Reference

Files
file	java/com/google/ortools/sat/Constraint.java [code]
file	CpModel.java [code]
file	CpSolver.java [code]
file	CpSolverSolutionCallback.java [code]
file	Difference.java [code]
file	java/com/google/ortools/sat/IntervalVar.java [code]
file	java/com/google/ortools/sat/IntVar.java [code]
file	LinearExpr.java [code]
file	Literal.java [code]
file	NotBooleanVariable.java [code]
file	ScalProd.java [code]
file	SumOfVariables.java [code]