minisat:0.4.2total uncompressed bytes403.0 KBtotal files49FixNewInclude { include: [ "src/**/*", "README.md", "lib/*", "build.rs", "!**/doc/*", ], has_build_script: true, }4 wasted filestotal waste: 3.7 KBlib/minisat/doc/ReleaseNotes-2.2.0.txt : 3.4 KB.gitmodules : 238 B.gitignore : 30 Bwrapper.h : 21 B