Subpolyhedra Library: An Efficient Abstract Domain to Infer Linear Inequalities
Distribution for the standalone Subpolyhedra library, a new numerical abstract domain for scalable inference and propagation of linear inequalities. Last published: October 10, 2008.
Important! Selecting a language below will dynamically change the complete page content to that language.
Version:
0.1
Date Published:
11/15/2023
File Name:
Subpoly.0.1.zip
File Size:
490.2 KB
Distribution for the standalone Subpolyhedra library, a new numerical abstract domain for scalable inference and propagation of linear inequalities.Supported Operating Systems
Windows 10, Windows 7, Windows 8
- Windows 7, Windows 8, or Windows 10
- Click Download and follow the instructions.