MD5 (bddsolve-1.02.zip) = a84faa33f72f0aad0611e4d92abc08bd
SHA256 (bddsolve-1.02.zip) = 7cac132baada2fe80c8ec48aa619d799d5b5be7832689632dd1c35a5c9762af5
SIZE (bddsolve-1.02.zip) = 19180