Lib.rs

› Development tools › Profiling | Debugging | Testing
#smt #z3 #performance #trace #axiom-profiler

bin+lib smt-scope

A library for parsing and analysing SMT traces

by JonasAlaif and 8 contributors

4 releases

new 0.1.3 Mar 19, 2025
0.1.2 Mar 18, 2025
0.1.1 Mar 18, 2025
0.1.0 Mar 17, 2025

#132 in Profiling

Download history 407/week @ 2025-03-17

407 downloads per month

Apache-2.0

615KB
15K SLoC

Library for parsing SMT-LIB log files

TODO

Dependencies

~9–22MB
~321K SLoC