package psmt2-frontend

You can search for identifiers within the package.

in-package search v0.2.0

The psmt2-frontend project

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

A

Albin Coquereau

Maintainers

A

Albin Coquereau

Sources

sha256=82d3d69d3009b641c34afe4e4c92b7e900ff459884dc9595ac4463297e0da7a1

Description

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

Published: 07 Nov 2020

Dependencies (3)

menhir >= "20180528"
dune >= "2.6.0"
ocaml >= "4.04.2"

Dev Dependencies (5)

ocamlformat with-test
odoc with-doc
ppx_expect with-test
ppx_inline_test with-test
dune with-test & < "2.8.0"

Used by (2)

alt-ergo-parsers < "2.4.2"
alt-ergo-parsers-free

Conflicts

None

On This Page

Description
Dependencies (3)
Dev Dependencies (5)
Used by (2)
Conflicts