Ugly Alpha 1
splr:0.12.0

total uncompressed bytes

663.2 KB

total files

57

Fix

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

20 wasted files

total waste: 203.2 KB

  1. cnfs/a_rphp035_05.cnf : 83.6 KB
  2. cnfs/unif-k3-r4.25-v360-c1530-S1028159446-096.cnf : 22.5 KB
  3. cnfs/unif-k3-r4.25-v360-c1530-S1293537826-039.cnf : 22.4 KB
  4. ChangeLog.md : 16.6 KB
  5. cnfs/sample.cnf : 15.3 KB
  6. cnfs/uf250-02.cnf : 15.3 KB
  7. cnfs/unsat.cnf : 8.9 KB
  8. cnfs/uf100-010.cnf : 5.3 KB
  9. tests/verify-certificates.rs : 5.1 KB
  10. tests/isat.rs : 3.2 KB
  11. tests/isat2.rs : 1.7 KB
  12. cnfs/uf20-01.cnf : 1.2 KB
  13. flake.lock : 966 B
  14. flake.nix : 581 B
  15. .github/workflows/rust.yml : 259 B
  16. cnfs/uf8.cnf : 246 B
  17. .gitlab-ci.yml : 133 B
  18. .gitignore : 40 B
  19. cnfs/empty-clause.cnf : 13 B
  20. cnfs/empty-form.cnf : 10 B