package psmt2-frontend

  1. Overview
  2. Docs
The psmt2-frontend project

Install 

dune-project
 Dependency

github.com Readme Changelog Apache-2.0 License Edit opam file Versions (5)

Authors

  1. A
    Albin Coquereau

Maintainers

  1. A
    Albin Coquereau

Sources

0.3.1.tar.gz
sha256=82d3d69d3009b641c34afe4e4c92b7e900ff459884dc9595ac4463297e0da7a1

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.