package psmt2-frontend

  1. Overview
  2. No Docs
A library to parse and type-check a conservative extension of the SMT-LIB 2 standard with prenex polymorphism

Install

github.com Edit opam file

Authors

  1. A
    Albin Coquereau

Maintainers

  1. A
    Albin Coquereau

Sources

0.2.zip
md5=1b440803b737be2a6a8b979e55ef0b60

Description

Published: 19 Jan 2019

Dependencies (4)

  1. menhir < "20211215"
  2. conf-autoconf build
  3. ocamlfind build
  4. ocaml >= "4.04.0"

Dev Dependencies

None

Conflicts

None