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-project
 Dependency

github.com Edit opam file Versions (5)

Authors

  1. A
    Albin Coquereau

Maintainers

  1. A
    Albin Coquereau

Sources

0.2.zip
sha256=5fd0cd4d5636cf7eea5ca1b517a49bcd7c2244f90bd4ae13dfa5da15bc1ec54f
md5=1b440803b737be2a6a8b979e55ef0b60

doc/index.html

psmt2-frontend

API

Library psmt2-frontend