package alt-ergo-parsers

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Interface Module with the library psmt2-frontend

alt-ergo-parsers
- AltErgoParsers

Legend:
Library
Module
Module type
Parameter
Class
Class type

Interface Module with the library psmt2-frontend

Offer an interface with the library psmt2-frontend and register a parser for smt2 and psmt2 extensions. This interface allows Alt-Ergo to partially support the SMT-LIB2 standard and a polymorphic extension.

val register_psmt2 : unit -> unit

Register the psmt2 frontend as a parser for smt2 and psmt2 extension