/ISL-UTVPI

First-cut implementation of two newly discovered Efficient Algorithms to compute the tightest octagonal over-approximation of arbitary Polyhedra

Primary LanguageCMIT LicenseMIT

Stargazers