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

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