search

vegard / sha1-sat

SAT instance generator for SHA-1
GNU General Public License v3.0
47 stars 14 forks source link

Fix typos #5

Closed jwilk closed 7 years ago

jwilk commented 7 years ago

Found using mwic.