Crate smtlib_lowlevel

smtlib-lowlevel

A low-level API for interacting with SMT solvers.

Modules

• ast
  Generated by cargo xtask ast, do not edit by hand.
• backend
  Backends are concrete solvers which can be communicated with using the SMT-LIB language.
• lexicon

Structs

• Driver

Enums

• Error