Crate smtlib_lowlevel
source ·Expand description
smtlib-lowlevel
A low-level API for interacting with SMT solvers.
Modules
Backends are concrete solvers which can be communicated with using the
SMT-LIB language.
A low-level API for interacting with SMT solvers.