package psmt2-frontend

  1. Overview
  2. Docs
The psmt2-frontend project

Install

Dune Dependency

Authors

Maintainers

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.

OCaml

Innovation. Community. Security.