Ugly Alpha 1
varisat:0.2.1

total uncompressed bytes

201.7 KB

total files

45

Fix

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

6 wasted files

total waste: 12.3 KB

  1. tests/checker.rs : 5.6 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 : 951 B
  6. .gitignore : 30 B