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.
- Maréchal, Alexandre; Monniaux, David; Périn, Michaël: Scalable minimizing-operators on polyhedra via parametric linear programming (2017)