Crate rustproof_libsmt

Crate that allows rust programs to interact with SMT (Satisfiability Modulo Theory) solvers.

Modules

backends

logics

theories

Macros

bv_const

define_fns_for_logic

define_logic

define_sorts_for_logic

impl_smt_node