smtlib-lowlevel
A low-level API for interacting with SMT solvers
This is the low-level counter-part to smtlib
. It includes the low-level types for communicating with SMT solvers. This means a SMTLIB2 parser, and an interactive way to send commands to the SMT solver, interpret results, and respond to the results.