package psmt2-frontend

  1. Overview
  2. Docs
A library to parse and type-check a conservative extension of the SMT-LIB 2 standard with prenex polymorphism

Install

Dune Dependency

Authors

Maintainers

Sources

0.2.zip
md5=1b440803b737be2a6a8b979e55ef0b60