MathematicalModelIntrinsicFeasibilityAnalyzer.cs File Reference

Go to the source code of this file.

Classes
class	LotSizingDataModel.Solver.Feasibility.MathematicalModelIntrinsicFeasibilityAnalyzer
	Proves intrinsic infeasibility from variable-bound interval arithmetic. Absence of a proof is reported as Unknown. More...

Namespaces
namespace	LotSizingDataModel
namespace	LotSizingDataModel.Solver
namespace	LotSizingDataModel.Solver.Feasibility