8 releases
| 0.1.7 | Oct 30, 2025 |
|---|---|
| 0.1.6 | Oct 30, 2025 |
| 0.1.3 | Mar 19, 2025 |
#206 in Profiling
4,390 downloads per month
630KB
15K
SLoC
Library for parsing SMT-LIB log files
TODO
Dependencies
~8–18MB
~333K SLoC
A library for parsing and analysing SMT traces
| 0.1.7 | Oct 30, 2025 |
|---|---|
| 0.1.6 | Oct 30, 2025 |
| 0.1.3 | Mar 19, 2025 |
#206 in Profiling
4,390 downloads per month
630KB
15K
SLoC
TODO
~8–18MB
~333K SLoC