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