The Z3_eval_smtlib2_string function from the C API wasn't available in the Haskell API. This pull request adds it as well as an example demonstrating its use.
It also fixes a typo in the documentation for z3_parse_smtlib2_file and removes some extra whitespace in Base.hs (this should ideally be in a separate pull request but I noticed it too late, sorry).
The
Z3_eval_smtlib2_stringfunction from the C API wasn't available in the Haskell API. This pull request adds it as well as an example demonstrating its use.It also fixes a typo in the documentation for
z3_parse_smtlib2_fileand removes some extra whitespace inBase.hs(this should ideally be in a separate pull request but I noticed it too late, sorry).