Ugly Alpha 1
cryptominisat:5.8.0
total uncompressed bytes
2.2 MB
total files
230
Perfectly lean!