| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 cryptominisat-2.9.6.tar.gz | 512847 bytes | 2015-05-29 08:32:47 |
| 📄 cryptominisat-5.0.1.tar.gz | 596710 bytes | 2017-06-12 18:01:38 |
| 📄 cryptominisat-5.6.6.tar.gz | 691190 bytes | 2019-01-24 13:41:57 |
| 📄 cryptominisat-5.6.8.tar.gz | 701037 bytes | 2022-05-16 00:19:10 |
| 📄 cryptominisat-5.8.0.tar.gz | 943785 bytes | 2024-03-24 00:49:54 |
| 📄 index.html | 6758 bytes | 2025-11-26 03:08:09 |
| 📄 md5sums.txt | 305 bytes | 2024-03-24 02:06:19 |
| 📄 notes.txt | 1130 bytes | 2014-04-26 15:20:40 |