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: 26 days ago

• Readme
• Versions 15
• Dependent Packages 1
• Maintainers 1
• Related Packages 3