rustproof-libsmt-0.1.0
- rustproof-libsmt 0.1.0
- Permalink
- Docs.rs crate page
- Apache-2.0/MIT
- Links
- Repository
- crates.io
- Source
- Owners
- salterm
- Dependencies
- petgraph ^0.2.7 normal
  
  regex ^0.1.73 normal
- Versions
- 9.81% of the crate is documented
Platform
Feature flags

Rust

rustproof_libsmt0.1.0

All Items

Crate Items

Modules
Macros

Crate rustproof_libsmt

Expand description

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