Module Parse.Smtlib

val from_file : Fpath.t -> Ast.Script.t

from_file file parses an SMT-LIB compliant script from the given file.