VPL

From VERASCO
Revision as of 13:06, 17 May 2013 by David Monniaux (talk | contribs) (Created page with "'''VPL''' is the {Verasco|VERIMAG} Polyhedra Library. It consists in : * An Objective Caml library, implementing polyhedral operations. * A Coq checker and wrappers, which p...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

VPL is the {Verasco|VERIMAG} Polyhedra Library.

It consists in :

  • An Objective Caml library, implementing polyhedral operations.
  • A Coq checker and wrappers, which provably check the correctness (at least in one direction) of the polyhedral operations.

Distribution

OCaml library