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.