Crate: z3 0.4.0

Description: High-level rust bindings for the Z3 SMT solver from Microsoft Research
Readme: README.md
License: MIT
Repository: https://github.com/prove-rs/z3.rs.git
Edition: 2015
Checksum: fe5e9b2a58f7914e3109e7138c42a1718e6857a3bbba0588c6ad1c30d6d4fc5f
Yanked: false

Dependencies:

Crate file analysis

Compressed crate size: 22kb

Valid: true

Checksum matches: true

Tokei lines of code count

Tokei output:

Language	Total lines	Code	Comments	Blank lines
Markdown	40	40	0	0
Plain Text	22	22	0	0
Rust	3408	2386	675	347
TOML	45	28	11	6
Total:	3515	2476	686	353

Dependency analysis

Direct dependencies: 6

Transitive dependencies: 22

Cargofox