| Age | Commit message (Expand) | Author |
|---|---|---|
| 2022-05-03 | Adopt package, fix various issues | Xiretza |
| 2020-08-18 | Update to latest | Deian Stefan |
| 2020-01-11 | update to latest version | Deian Stefan |
| 2019-06-13 | update to work with latest | Deian Stefan |
| 2018-12-21 | new version | Deian Stefan |
| 2018-10-12 | latest master | Deian Stefan |
| 2018-09-15 | latest version of boolector as of today | Deian Stefan |
| 2018-07-06 | update to latest boolector | Deian Stefan |
| 2018-06-15 | boolector library from new git repo | Deian Stefan |