package psmt2-frontend

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

Install

Dune Dependency

Authors

Maintainers

Sources

0.1.zip
sha256=1a125274b4b23219efe3e5dcc850a35210d33b51bc5531d3f3112df7f5db3f35
md5=1eb0902c24ca84f5aefae876feb43d6e

doc/index.html

psmt2-frontend

API

Library psmt2-frontend

OCaml

Innovation. Community. Security.