minisat version history (formula)
minisat
formula 4 versions
since May 2014
~1050 days between updates
Track minisat — subscribe to the RSS feed to get an item each time it updates.
| Version | Updated | Commit |
|---|---|---|
| 2.2.1 | 2021-03-16 | e64d89d2e |
| 2.2.0 | 2018-04-30 | 8f1df36d4 |
| 2.2.0 | 2017-06-21 | 213d8d409 |
| 2.2.0 | 2014-05-13 | c20465192 |