Latest version - All versions

Crate: smt2 0.1.0

Crate file analysis
Tokei lines of code count
Dependency analysis

Description: A SMT-LIB 2.6 parsing/formatting library for Rust
Readme: README.md
License: MIT/Apache-2.0
Repository: https://github.com/regular-pv/smt2
Edition: 2018
Checksum: 8c2fcf727dee84acef427da61f007e8219fd7d4a23bdc801eea578513de7d6ce
Yanked: false

Dependencies:

source-span = ^1.3.0
utf8-decode = ^1.0.1

Crate file analysis

Compressed crate size: 40kb

Valid: true

Checksum matches: true

Tokei lines of code count

Tokei output:

Language	Total lines	Code	Comments	Blank lines
Markdown	35	35	0	0
Rust	6412	5137	471	804
TOML	29	16	11	2
Total:	6476	5188	482	806

Dependency analysis

Direct dependencies: 2

Transitive dependencies: 7