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.

Download Details

File Name: Subpoly.0.1.zip
Version: 0.1
Date Published: 10 October 2008
Download Size: 0.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.

Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds