GitHub repository: vegard/sha1-sat
Primary language: C++
Description: SAT instance generator for SHA-1