GitHub repository: viperproject/smt-scope
Primary language: Rust
Description: SMTscope automatically analyses and visualises SMT solver execution traces.