virne.solver.exact.mip#

Classes

MipSolver(controller, recorder, counter, ...)

An exact solver based on Mixed Integer Programming (MIP) with OR-Tools.