yices2 version history (formula)
yices2
formula 2 versions
since Feb 2025
~168 days between updates
Track yices2 — subscribe to the RSS feed to get an item each time it updates.
| Version | Updated | Commit |
|---|---|---|
| 2.7.0 | 2025-07-28 | e9a98e71b |
| 2.6.5 | 2025-02-11 | 58ec92080 |