smt-scope 0.1.7

A library for parsing and analysing SMT traces.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

/// Parsing items, e.g. terms, proof steps, quantifiers; and related objects or functions.
pub mod items;

/// Parser structs and methods.
pub mod parsers;

/// Pretty printing for items.
#[cfg(feature = "display")]
pub mod display_with;
#[cfg(feature = "display")]
pub mod formatter;

#[cfg(feature = "analysis")]
pub mod analysis;

mod error;
mod mem_dbg;
mod util;

pub use error::{Error, FResult, FatalError, Result};
pub use mem_dbg::{
    BigRational, BigUint, BoxSlice, DiGraph, FxHashMap, FxHashSet, Graph, IString, NonMaxU32,
    NonMaxUsize, StringTable, TiVec, UnGraph,
};
pub use parsers::z3::Z3Parser;
pub use parsers::LogParser;
pub use util::*;