total uncompressed bytes

671.9 KB

total files

58

Fix

20 wasted files

total waste: 203.4 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.8 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