z3:0.11.2total uncompressed bytes236.9 KBtotal files25FixNewInclude { include: [ "src/**/*", "LICENSE.txt", "README.md", ], has_build_script: false, }4 wasted filestotal waste: 67.3 KBtests/lib.rs : 45.1 KBtests/semver_tests.rs : 9.3 KBtests/ops.rs : 8.2 KBtests/objectives.rs : 4.7 KB