cp_sat:0.1.1total uncompressed bytes119.9 KBtotal files13FixNewInclude { include: [ "src/**/*", "Cargo.*", "LICENSE", "README.md", "build.rs", ], has_build_script: true, }3 wasted filestotal waste: 3.6 KBtests/bool_cst.rs : 2.7 KBexamples/simple_sat_program.rs : 835 B.gitignore : 19 B