Verimag Polyhedra Library

VPL: Verimag Polyhedra Library (Verified Polyhedra Library). The VPL is an Ocaml library allowing to compute with convex polyhedra. It provides standard operators -- certified in Coq -- to use this library as an abstract domain of polyhedra.

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Maréchal, Alexandre; Monniaux, David; Périn, Michaël: Scalable minimizing-operators on polyhedra via parametric linear programming (2017)