Cover

Cover

Implementation of the covering algorithm for solving the variable decomposition problem in linear real arithmetic


Copyright © 2019 — 2025 Alexander Mayorov. All rights reserved.