commits

Clone the repository to access all 24 commits.

• smt-analyze/
• smt-depth/
• smt-normalize/
• smt-simplify/
• .gitignore
• LICENSE.txt
• README.md

smt-tools

Various self-contained programs for working with SMT-LIB files. Lousy research-grade code without documentation and lots of limitations and bugs. Without modifications, they will likely not work for your use-case.

The Tools

• smt-analyze: Analyzes the composition of QF_BV SMT-LIB files
• smt-normalize: Normalizes SMT-LIB expression (e.g. removing incremental solving)
• smt-depth: Calculates the maximum nesting depth as a complexity metric
• smt-simplify: Simplifies selected expressions (e.g. all bvadd) using Z3

See also

Some other tools I found useful:

• smtfmt: Formats SMT-LIB expressions for human readability
• diff-sexp: A tool for diffing SMT-LIB expressions
• …