This is the Trace Id: c529196c9ff27fe0e690603e8e5090f5

Bring the world closer with Bing Wallpaper

Download the free app and enjoy breathtaking views with a new background each day.
Get Bing Wallpaper
A laptop displaying a colorful seascape from Bing Wallpaper.

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. Last published: October 10, 2008.

Important! Selecting a language below will dynamically change the complete page content to that language.

Download

  • Version:

    0.1

    Date Published:

    11/15/2023

    File Name:

    Subpoly.0.1.zip

    File Size:

    490.2 KB

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

  • Supported Operating Systems

    Windows 10, Windows 7, Windows 8

    • Windows 7, Windows 8, or Windows 10

    • Click Download and follow the instructions.

Follow Microsoft

Back To Top