Ugly Alpha 1
flag-algebra:0.1.12

total uncompressed bytes

3.2 MB

total files

44

Fix

NewInclude { include: [ "src/**/*", "Cargo.*", "LICENSE", "README.md", ], has_build_script: false, }

19 wasted files

total waste: 2.9 MB

  1. report.html : 1.4 MB
  2. graph.png : 1.4 MB
  3. certificate : 25.0 KB
  4. flags.html : 7.5 KB
  5. examples/caccetta-haggkvist.rs : 4.1 KB
  6. to_use : 3.9 KB
  7. invariants.html : 3.4 KB
  8. typed_flags.html : 3.0 KB
  9. tests/normal.rs : 1.9 KB
  10. examples/strong.rs : 1.3 KB
  11. examples/c5-free.rs : 1.0 KB
  12. examples/turan.rs : 984 B
  13. examples/goodman.rs : 978 B
  14. x.log : 942 B
  15. a.a : 809 B
  16. a : 740 B
  17. turan.sdpa.minimize : 382 B
  18. rep : 379 B
  19. .gitignore : 59 B