rustproof_libsmt/
lib.rs

1//! Crate that allows rust programs to interact with SMT (Satisfiability Modulo Theory) solvers.
2
3extern crate petgraph;
4extern crate regex;
5
6pub mod theories {
7    #[macro_use] pub mod utils;
8    #[macro_use] pub mod bitvec;
9    pub mod integer;
10    pub mod core;
11    pub mod array_ex;
12    pub mod real;
13    pub mod real_ints;
14}
15
16pub mod logics {
17    #[macro_use] pub mod utils;
18    pub mod qf_bv;
19    pub mod qf_aufbv;
20    pub mod qf_abv;
21    pub mod lia;
22}
23
24pub mod backends {
25    pub mod backend;
26    pub mod smtlib2;
27    pub mod z3;
28}