GitHub repository: yangshouguo/HashCrash
Created: 2017-03-12T01:37:49Z
Description: use force or z3 formula to crash a Hash algrithom