Relational piecewise-linear overapproximations of multi-dimensional functions
Primary LanguageJupyter NotebookMIT LicenseMIT