virne.solver.exact.d_rounding# Classes DeterministicRoundingSolver(controller, ...) An approximation solver based on deterministic rounding algorithm.