package alt-ergo-parsers

  1. Overview
  2. Docs

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

OCaml

Innovation. Community. Security.