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 Readme Changelog Apache-2.0 License Edit opam file Versions (5)

Authors

A

Albin Coquereau

Maintainers

A

Albin Coquereau

Sources

sha256=06eff884b629ce30704d08fb4559e54812e8c234e6086da770ea693613fe9780

doc/index.html

Library psmt2-frontend

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

The entry point of this library is the module: Psmt2Frontend.