Arch Linux User Repository
Home
Packages
Forums
Wiki
GitLab
Security
AUR
Download
AUR : cadical.git
AUR Package Repositories | click
here
to return to the package base details page
summary
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
PKGBUILD
Age
Commit message (
Expand
)
Author
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