sat Directory Reference

Files
	BestBoundCallback.cs
	BooleanProblem.pb.cs
	CpModel.pb.cs
	CpModelService.pb.cs
	CpSatHelper.cs
	LogCallback.cs
	operations_research_sat.cs
	operations_research_satPINVOKE.cs
	SatParameters.pb.cs
	SolutionCallback.cs
	SolveWrapper.cs