virne.solver.exact.d_rounding#

Classes

DeterministicRoundingSolver(controller, ...)

An approximation solver based on deterministic rounding algorithm.