Download Subpolyhedra Library: An Efficient Abstract Domain to Infer Linear Inequalities from Official Microsoft Download Center

A Surface Pro

Surface Pro

The most versatile laptop

Subpolyhedra Library: An Efficient Abstract Domain to Infer Linear Inequalities

Important! Selecting a language below will dynamically change the complete page content to that language.

Language:
English
Distribution for the standalone Subpolyhedra library, a new numerical abstract domain for scalable inference and propagation of linear inequalities. Last published: October 10, 2008.