Crate: minisat 0.4.3

Description: MiniSat Rust interface. Solves a boolean satisfiability problem given in conjunctive normal form.
Readme: README.md
License: MIT
Repository: https://github.com/luteberget/minisat-rs/
Edition: 2015
Checksum: a8a401f7588423931c795be46ba7c87544d883eb51f101619a88d3e62ea5de20
Yanked: false

Dependencies:

Crate file analysis

Compressed crate size: 169kb

Valid: true

Checksum matches: true

Tokei lines of code count

Tokei output:

Language	Total lines	Code	Comments	Blank lines
C Header	9703	4833	2944	1926
C++	8029	5097	1378	1554
CMake	83	49	13	21
Makefile	497	330	69	98
Markdown	90	90	0	0
Plain Text	79	79	0	0
Rust	1841	1428	202	211
TOML	35	21	11	3
Total:	20357	11927	4617	3813

Dependency analysis

Direct dependencies: 4

Transitive dependencies: 54

Cargofox