total uncompressed bytes
665.6 KB
total files
60
Fix
21 wasted files
total waste: 205.1 KB
- cnfs/a_rphp035_05.cnf : 83.6 KB
- cnfs/unif-k3-r4.25-v360-c1530-S1028159446-096.cnf : 22.5 KB
- cnfs/unif-k3-r4.25-v360-c1530-S1293537826-039.cnf : 22.4 KB
- ChangeLog.md : 17.6 KB
- cnfs/sample.cnf : 15.3 KB
- cnfs/uf250-02.cnf : 15.3 KB
- cnfs/unsat.cnf : 8.9 KB
- cnfs/uf100-010.cnf : 5.3 KB
- tests/verify-certificates.rs : 5.1 KB
- tests/isat.rs : 3.2 KB
- tests/isat2.rs : 1.7 KB
- cnfs/uf20-01.cnf : 1.2 KB
- flake.lock : 966 B
- misc/search.tex : 962 B
- flake.nix : 581 B
- .github/workflows/rust.yml : 259 B
- cnfs/uf8.cnf : 246 B
- .gitlab-ci.yml : 133 B
- .gitignore : 48 B
- cnfs/empty-clause.cnf : 13 B
- cnfs/empty-form.cnf : 10 B