SAT instances which encode preimage attacks on round-reduced finalists of the SHA-3 competition.
Primary LanguageCMIT LicenseMIT