Crate smtlib_lowlevel

source ·
Expand description

smtlib-lowlevel

A low-level API for interacting with SMT solvers.

Modules

ast
backend
Backends are concrete solvers which can be communicated with using the SMT-LIB language.
lexicon

Structs

Driver

Enums

Error