| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-03-27 | Refurbishments after adopting | Manuel Wiesinger | |
| - Version 1.9.5 - no LTO (removes functions in static library) - -fPIC - check() - docs - add C headers - add mobical - Tested in clean chroot - namcap passes | |||
| 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 | |