minisat:0.4.3total uncompressed bytes790.7 KBtotal files98FixNewInclude { include: [ "src/**/*", "README.md", "lib/*", "build.rs", "!**/doc/*", ], has_build_script: true, }4 wasted filestotal waste: 3.6 KBlib/minisat/doc/ReleaseNotes-2.2.0.txt : 3.4 KB.gitmodules : 95 B.gitignore : 30 Bwrapper.h : 21 B