minisat:0.4.4total uncompressed bytes796.1 KBtotal files99FixNewInclude { include: [ "src/**/*", "LICENSE", "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