Ugly Alpha 1
splr:0.4.1

total uncompressed bytes

365.9 KB

total files

45

Fix

NewInclude { include: [ "src/**/*", "Cargo.*", "LICENSE", "README.md", ], has_build_script: false, }

11 wasted files

total waste: 43.5 KB

  1. tests/sample.cnf : 15.3 KB
  2. tests/unsat.cnf : 8.9 KB
  3. ChangeLog.md : 6.8 KB
  4. tests/uf100-010.cnf : 5.3 KB
  5. tests/isat.rs : 3.3 KB
  6. tests/isat2.rs : 2.0 KB
  7. tests/uf20-01.cnf : 1.2 KB
  8. .github/workflows/rust.yml : 259 B
  9. tests/uf8.cnf : 246 B
  10. .gitlab-ci.yml : 133 B
  11. .gitignore : 32 B