Latest version - All versions

Crate: varisat 0.2.1

Crate file analysis
Tokei lines of code count
Dependency analysis

Description: A CDCL based SAT solver (library)
Readme: README.md
License: MIT/Apache-2.0
Repository: https://github.com/jix/varisat
Edition: 2018
Checksum: a2640f5949bcd945ffdb030f5f336d0a5da8fe8ddab8e8230e2e030ea0623cfa
Yanked: false

Dependencies:

failure = ^0.1.5
itoa = ^0.4.4
leb128 = ^0.2.3
log = ^0.4.6
ordered-float = ^1.0.2
partial_ref = ^0.3.1
serde = ^1.0.91
varisat-checker = = 0.2.1
varisat-dimacs = = 0.2.1
varisat-formula = = 0.2.1
varisat-internal-macros = = 0.2.1
varisat-internal-proof = = 0.2.1
vec_mut_scan = ^0.1.0
env_logger = ^0.6.1
proptest = ^0.9.3
rand = ^0.6.5
tempfile = ^3.0.7

Crate file analysis

Compressed crate size: 48kb

Valid: true

Checksum matches: true

Tokei lines of code count

Tokei output:

Language	Total lines	Code	Comments	Blank lines
Markdown	51	51	0	0
Plain Text	7	7	0	0
Rust	5848	4141	691	1016
TOML	79	51	11	17
Total:	5985	4250	702	1033

Dependency analysis

Direct dependencies: 19

Transitive dependencies: 83