Cover

Cover

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


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