Project Filelist for CryptoMiniSat
The release you have chosen is highlighted. Before downloading, you may want to read Release Notes and ChangeLog (accessible by clicking on release version).
cryptominisat
| File Name | Date | Size | D/L | Arch | Type | Latest |
|---|---|---|---|---|---|---|
| cryptominisat-2.4.2.zip | 2010-05-09 21:38 | 803 KiB | 75 | Any | Source .zip | Latest version |
| cryptominisat-2.4.2.tar.gz | 2010-05-09 21:37 | 747 KiB | 202 | Any | Source .gz | Latest version |
| cryptominisat-2.4.2Linux64 | 2010-05-09 21:40 | 5.99 MiB | 127 | i386 | Other | Latest version |
| cryptominisat-2.4.2Linux32 | 2010-05-09 21:42 | 5.13 MiB | 137 | i386 | Other | Latest version |
| cryptominisat-2.4.2Win32.exe | 2010-05-09 21:46 | 1.5 MiB | 371 | i386 | Other | Latest version |
