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 | 69 | Any | Source .zip | Latest version |
cryptominisat-2.4.2.tar.gz | 2010-05-09 21:37 | 747 KiB | 178 | Any | Source .gz | Latest version |
cryptominisat-2.4.2Linux64 | 2010-05-09 21:40 | 5.99 MiB | 119 | i386 | Other | Latest version |
cryptominisat-2.4.2Linux32 | 2010-05-09 21:42 | 5.13 MiB | 129 | i386 | Other | Latest version |
cryptominisat-2.4.2Win32.exe | 2010-05-09 21:46 | 1.5 MiB | 362 | i386 | Other | Latest version |