/sha1-sat

SAT instance generator for SHA-1

Primary LanguageC++GNU General Public License v3.0GPL-3.0

Stargazers