Ugly Alpha 1
varisat:0.2.0

total uncompressed bytes

263.3 KB

total files

48

Fix

NewInclude { include: [ "src/**/*", "LICENSE-*", "README.md", "build.rs", ], has_build_script: true, }

5 wasted files

total waste: 6.6 KB

  1. tests/cnfs/sgen1_sat_90_0.cnf : 2.4 KB
  2. proptest-regressions/solver.txt : 1.8 KB
  3. tests/cnfs/sgen1_unsat_57_0.cnf : 1.5 KB
  4. tests/cnfs.rs : 957 B
  5. .gitignore : 30 B