package psmt2-frontend

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

Install 

dune-project
 Dependency

github.com Edit opam file Versions (5)

Authors

  1. A
    Albin Coquereau

Maintainers

  1. A
    Albin Coquereau

Sources

0.1.zip
sha256=1a125274b4b23219efe3e5dcc850a35210d33b51bc5531d3f3112df7f5db3f35
md5=1eb0902c24ca84f5aefae876feb43d6e

doc/psmt2-frontend/Psmt2Frontend/index.html

Module Psmt2Frontend

module Options = Options
module Smtlib_error = Smtlib_error
module Smtlib_lexer = Smtlib_lexer
module Smtlib_parser = Smtlib_parser
module Smtlib_printer = Smtlib_printer
module Smtlib_syntax = Smtlib_syntax
module Smtlib_ty = Smtlib_ty
module Smtlib_typed_env = Smtlib_typed_env
module Smtlib_typed_logic = Smtlib_typed_logic
module Smtlib_typing = Smtlib_typing
module Version = Version