Ugly Alpha 1
varisat:0.2.2

total uncompressed bytes

236.0 KB

total files

49

Fix

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

6 wasted files

total waste: 12.4 KB

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