virne.solver.exact.mip# Classes MipSolver(controller, recorder, counter, ...) An exact solver based on Mixed Integer Programming (MIP) with OR-Tools.