package vnnlib

Build not yet checked
  1. Overview
  2. No Docs
OCaml library to manipulate VNNLIB

Install 

dune-project
 Dependency

git.frama-c.com Edit opam file Versions (1)

Authors

  1. J
    Julien Girard-Satabin <julien.girard2@cea.fr>

Maintainers

  1. J
    Julien Girard-Satabin

Sources

vnnlib-0.1.tar.gz
sha256=0f3351383098e67da1d1e8532b4a60d5459b96f98bbe1c9048cd4bbdd0499c33
sha512=152edd599e4bd430d0a5296e4c43b157f8429edbfe857117b830367ff9c418fd78851de2eb04eb5344ac8c6eab4a6ee64f45279442c67f6fece4ee445d5bb578

Description

This library aims to comply with the VNNLIB standard (version 2.0). It exposes various datatypes, a parser and validator.

Added to opam-repository:

Dependencies (6)

  1. ppx_deriving >= "5.1"
  2. fmt >= "0.11.0"
  3. stdio >= "0.14.0"
  4. base >= "0.16.0"
  5. ocaml >= "4.14"
  6. dune >= "3.12"

Dev Dependencies (1)

  1. odoc with-doc

Optional Dependencies

None

Used by

None

Conflicts

None

Build status

This version of vnnlib was published after the check.ci.ocaml.org run of against opam-repository 78c202b, so it has no build results yet. check.ci runs about once a week.