Subpolyhedra Library: An Efficient Abstract Domain to Infer Linear Inequalities

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.
  • Version:

    0.1

    File Name:

    Subpoly.0.1.zip

    Date Published:

    5/12/2016

    File Size:

    491 KB

      Distribution for the standalone Subpolyhedra library, a new numerical abstract domain for scalable inference and propagation of linear inequalities.
  • Supported Operating System

    Windows 10 , Windows 7, Windows 8

      • Windows 7, Windows 8, or Windows 10
      • Click Download and follow the instructions.
Site feedback
Microsoft

What category would you like to give web site feedback on?



Rate your level of satisfaction with this web page today:

Comments:

Submit