Module AltErgoParsers.Psmt2_to_alt_ergo

Interface Module with the library psmt2-frontend

val register_psmt2 : unit -> unit

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