Alan Aversa
|
64172cd9f8
academic/cryptominisat: Updated for version 5.7.1.
|
%!s(int64=4) %!d(string=hai) anos |
Alan Aversa
|
170cd24f03
academic/cryptominisat: Updated for version 5.6.8.
|
%!s(int64=5) %!d(string=hai) anos |
Willy Sudiarto Raharjo
|
fa711176ab
academic/cryptominisat: Fix MD5SUM.
|
%!s(int64=5) %!d(string=hai) anos |
Alan Aversa
|
cdc5c40e52
academic/cryptominisat: Updated for version 5.6.6.
|
%!s(int64=5) %!d(string=hai) anos |
Alan Aversa
|
c441188f8d
academic/cryptominisat: Added (SAT solver).
|
%!s(int64=6) %!d(string=hai) anos |