total uncompressed bytes
562.9 KB
total files
52
Fix
18 wasted files
total waste: 199.8 KB
- tests/a_rphp035_05.cnf : 83.6 KB
- tests/unif-k3-r4.25-v360-c1530-S1028159446-096.cnf : 22.5 KB
- tests/unif-k3-r4.25-v360-c1530-S1293537826-039.cnf : 22.4 KB
- tests/sample.cnf : 15.3 KB
- tests/uf250-02.cnf : 15.3 KB
- ChangeLog.md : 13.3 KB
- tests/unsat.cnf : 8.9 KB
- tests/uf100-010.cnf : 5.3 KB
- tests/verify-certificates.rs : 5.0 KB
- tests/isat.rs : 3.2 KB
- tests/isat2.rs : 1.7 KB
- tests/uf20-01.cnf : 1.2 KB
- flake.lock : 966 B
- flake.nix : 581 B
- .github/workflows/rust.yml : 259 B
- tests/uf8.cnf : 246 B
- .gitlab-ci.yml : 133 B
- .gitignore : 32 B