psmt2-frontend
  1. Overview
  2. No Docs
The psmt2-frontend project

Install

github.com Edit opam file

Authors

  1. A
    Albin Coquereau

Maintainers

  1. A
    Albin Coquereau

Sources

0.4.0.tar.gz
sha256=06eff884b629ce30704d08fb4559e54812e8c234e6086da770ea693613fe9780

Description

An OCaml library to parse and type-check a conservative extension of the SMT-LIB 2 standard with prenex polymorphism.

Published: 26 Mar 2021

Dependencies (3)

  1. menhir >= "20180528"
  2. dune >= "2.6.0"
  3. ocaml >= "4.04.2"

Dev Dependencies (4)

  1. ocamlformat with-test
  2. odoc with-doc
  3. ppx_expect with-test
  4. ppx_inline_test with-test

Used by (1)

  1. alt-ergo-parsers

Conflicts

None