cryptominisat version history (formula)
cryptominisat
formula 29 versions
since Jan 2019
~49 days between updates
Track cryptominisat — subscribe to the RSS feed to get an item each time it updates.
| Version | Updated | Commit |
|---|---|---|
| 5.14.6 | 2026-06-13 | 834f584a5 |
| 5.14.5 | 2026-05-24 | 187c9ac41 |
| 5.14.4 | 2026-04-04 | e522d5411 |
| 5.14.3 | 2026-04-04 | b6673fd8c |
| 5.14.2 | 2026-04-03 | aab0fe2ad |
| 5.13.0 | 2026-02-13 | c156a119d |
| 5.13.0 | 2026-01-24 | d762c9ae1 |
| 5.12.1 | 2025-03-23 | 4caf5a66e |
| 5.11.21 | 2024-02-10 | 08651aa71 |
| 5.11.15 | 2024-01-06 | 3a82a4710 |
| 5.11.15 | 2023-10-11 | 1444c1b25 |
| 5.11.14 | 2023-09-22 | f829dca78 |
| 5.11.15 | 2023-09-14 | 043e9274e |
| 5.11.12 | 2023-08-11 | 9b7f1c527 |
| 5.11.11 | 2023-06-25 | 353fd6c11 |
| 5.11.4 | 2023-04-17 | 58b3d3c38 |
| 5.11.4 | 2023-01-01 | 0c63db3bf |
| 5.11.4 | 2022-10-04 | 1913da285 |
| 5.11.2 | 2022-09-26 | 64f54d181 |
| 5.11.2 | 2022-09-16 | bf471ddf3 |
| 5.8.0 | 2022-07-02 | 2eab9ac35 |
| 5.8.0 | 2022-06-24 | ce7c85b36 |
| 5.8.0 | 2021-12-21 | 555fa7237 |
| 5.8.0 | 2021-02-22 | 13e5cc0cc |
| 5.8.0 | 2020-12-14 | a2d4ed596 |
| 5.6.8 | 2020-10-09 | 2acf05c1c |
| 5.6.8 | 2020-04-08 | 3e3668a93 |
| 5.6.8 | 2019-02-26 | 0d3d02d4f |
| 5.6.6 | 2019-01-08 | 42bb3c480 |