Cover

Projects | 2023 | Links: GitHub | arXiv

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