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.

Details

TypeDownload
File NameSubpoly.0.1.zip
Version0.1
Date Published10 October 2008
Download Size0.48 MB

Note By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license. Read the license.