Big-M MIP formulation for MIAC.

Modules
		netmic.heuristics.IISCover netmic.algorithmic_utility netmic.network_utility networkx pulp time netmic.timer

Classes
		netmic.heuristics.IISCover.IISCover lowerBoundForSetCover bigMMip   class bigMMip     set up big M formulation of MIAC and keep data at hand     Methods defined here: __init__(self, N, lowBound=False, timelimit=1800) addLowerBound(self) buildCover(self) Solve mip, build and return cover according to solution. buildModel(self) Add objective function and constraints to model buildVariables(self) Set up variables and bounds   class lowerBoundForSetCover(netmic.heuristics.IISCover.IISCover)     compute a lower bound for MIAC and a start set by computing disjunct IISs     Methods defined here: __init__(self, N) solve(self, timelimit=300) Compute an IIS in current network, set some bounds to inf and repeat until there are no more IISs. Methods inherited from netmic.heuristics.IISCover.IISCover: coverFromSolution(self) Return cover according to final, feasible solution. findIIS(self, nonredundant=True) Update (list of) connected set S that violates GH-inequality.

Functions
		solveViaMIP(N, lowBound=False, timelimit=1800) Return cover computed via exakt big-M-MIP.