| Age | Commit message | Author |
|---|---|---|
| 2024-02-16 | Update .SRCINFO | Áron Ricardo Perez-Lopez |
| 2024-02-16 | Update git protocol | Áron Ricardo Perez-Lopez |
| 2021-06-25 | update to latest btor2tools | Deian Stefan |
| 2020-01-11 | Update to latest | Deian Stefan |
| 2019-06-13 | init | Deian Stefan |
| Clone | ||
| https://aur.archlinux.org/btor2tools-git.git/ | ||