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
|
Note By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license. Read the license. |
