z3-sys:0.7.0total uncompressed bytes302.2 KBtotal files9FixNewInclude { include: [ "src/**/*", "LICENSE.txt", "README.md", "build.rs", ], has_build_script: true, }3 wasted filestotal waste: 2.2 KBtests/lib.rs : 1.8 KBscripts/generate_enums.sh : 373 Bwrapper.h : 16 B