https://github.com/viperproject/smt-scope

SMTscope automatically analyses and visualises SMT solver execution traces.
https://github.com/viperproject/smt-scope

axiom e-matching instantiation profiler quantifiers smt z3

Last synced: about 11 hours ago
JSON representation

SMTscope automatically analyses and visualises SMT solver execution traces.

• Host: GitHub
• URL: https://github.com/viperproject/smt-scope
• Owner: viperproject
• License: apache-2.0
• Created: 2023-08-30T13:16:41.000Z (almost 2 years ago)
• Default Branch: main
• Last Pushed: 2025-03-20T01:22:18.000Z (3 months ago)
• Last Synced: 2025-06-14T07:53:23.947Z (6 days ago)
• Topics: axiom, e-matching, instantiation, profiler, quantifiers, smt, z3
• Language: Rust
• Homepage: https://viperproject.github.io/smt-scope/
• Size: 182 MB
• Stars: 37
• Watchers: 4
• Forks: 5
• Open Issues: 7
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - SMTSCOPE - [:package:](https://crates.io/crates/smt-scope):star: - automatically analyses and visualises SMT solver execution traces. (Projects / Provers and Solvers)