Top 5.0% downloads on crates.io
Top 2.5% dependent repos on crates.io
Top 2.5% dependent repos on crates.io
crates.io : z3tracer
Parser for Z3 tracing logs
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/z3tracer
Keywords:
solver
, smt
, z3
License: MIT,Apache-2.0
Latest release: almost 4 years ago
First release: over 4 years ago
Dependent packages: 1
Dependent repositories: 269
Downloads: 416,620 total
Stars: 23 on GitHub
Forks: 16 on GitHub
Docker dependents: 2
Docker downloads: 46
See more repository details: repos.ecosyste.ms
Last synced: 29 days ago