Latest version - All versions

Crate: rsmt2 0.10.0

Crate file analysis
Tokei lines of code count
Dependency analysis

Description: Wrapper for SMT-LIB 2 compliant SMT solvers.
Readme: README.md
License: MIT/Apache-2.0
Repository: https://github.com/kino-mc/rsmt2
Edition: 2018
Checksum: 98b7da7c7acb5d3877679c0dcf441d98fcde1c9b335f8099f1d5a9c03252099a
Yanked: false

Dependencies:

error-chain = ^0

Crate file analysis

Compressed crate size: 41kb

Valid: true

Checksum matches: true

Tokei lines of code count

Tokei output:

Language	Total lines	Code	Comments	Blank lines
Markdown	102	102	0	0
Rust	5714	3140	2276	298
TOML	37	23	11	3
YAML	1	1	0	0
Total:	5854	3266	2287	301

Dependency analysis

Direct dependencies: 1

Transitive dependencies: 11