| Name ▴ | Size | Last Modified |
|---|---|---|
| ../ | - | - |
| cryptominisat-2.9.6.tar.gz | 500.8 KB | 2015-05-29 08:32 |
| cryptominisat-5.0.1.tar.gz | 582.7 KB | 2017-06-12 18:01 |
| cryptominisat-5.6.6.tar.gz | 675.0 KB | 2019-01-24 13:41 |
| cryptominisat-5.6.8.tar.gz | 684.6 KB | 2022-05-16 00:19 |
| cryptominisat-5.8.0.tar.gz | 921.7 KB | 2024-03-24 00:49 |
| index.html | 6.6 KB | 2026-04-12 13:14 |
| md5sums.txt | 305 B | 2024-03-24 02:06 |
| notes.txt | 1.1 KB | 2014-04-26 15:20 |
8 items, 3.3 MB total