| Age | Commit message (Expand) | Author |
|---|---|---|
| 2024-10-09 | 2.0.0 -> 2.1.0 | Manuel Wiesinger |
| 2024-06-29 | Minor change of pkgdesc | Manuel Wiesinger |
| 2024-06-29 | Version bump to 2.0.0 | Manuel Wiesinger |
| 2024-03-27 | Refurbishments after adopting | Manuel Wiesinger |
| 2022-03-04 | 1.5.0 | Kyle Keen |
| 2020-08-06 | 1.3.0 | Kyle Keen |
| 2020-01-02 | 1.2.1 | Kyle Keen |
| 2019-04-28 | another sat solver | Kyle Keen |