kissat version history (formula)
kissat
formula 2 versions
since Jul 2025
~77 days between updates
Track kissat — subscribe to the RSS feed to get an item each time it updates.
| Version | Updated | Commit |
|---|---|---|
| 4.0.4 | 2025-10-16 | a234fcff5 |
| 4.0.3 | 2025-07-31 | 40ea89adf |