vnnlibversion Documentation on ocaml.org
OCaml library to manipulate VNNLIB
This library aims to comply with the VNNLIB standard (version 2.0).
It exposes various datatypes, a parser and validator.| Author | Julien Girard-Satabin <julien.girard2@cea.fr> |
|---|---|
| License | LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception |
| Published | |
| Homepage | https://git.frama-c.com/pub/vnnlib |
| Issue Tracker | https://git.frama-c.com/pub/vnnlib/issues |
| Maintainer | Julien Girard-Satabin |
| Dependencies | |
| Source [http] | https://git.frama-c.com/pub/vnnlib/-/archive/0.1/vnnlib-0.1.tar.gz sha256=0f3351383098e67da1d1e8532b4a60d5459b96f98bbe1c9048cd4bbdd0499c33 sha512=152edd599e4bd430d0a5296e4c43b157f8429edbfe857117b830367ff9c418fd78851de2eb04eb5344ac8c6eab4a6ee64f45279442c67f6fece4ee445d5bb578 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/vnnlib/vnnlib.0.1/opam |
No package is dependent
