Ugly Alpha 1
boolector:0.3.0

total uncompressed bytes

109.9 KB

total files

10

Fix

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

1 wasted files

total waste: 45 B

  1. .gitignore : 45 B