Giters
vegard
/
sha1-sat
SAT instance generator for SHA-1
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
46
Watchers:
5
Issues:
6
Forks:
14
vegard/sha1-sat Issues
Wrong number of clauses in CNF header
Updated
a year ago
Comments count
2
PB Encoding Buggy
Updated
3 years ago
Comments count
3
Practical Use Case Example
Updated
4 years ago
Comments count
3
Windows translation
Updated
4 years ago
Comments count
3
GIves runtime errors but runs without espresso
Closed
6 years ago
Comments count
2
Doesn't give help with -h
Updated
11 years ago