virne.solver.exact.r_rounding# Classes RandomizedRoundingSolver(controller, ...) An approximation solver based on randomized rounding algorithm.