summarylogtreecommitdiffstats
 
AgeCommit messageAuthor
2019-04-28another sat solverKyle Keen
 
Clone
https://aur.archlinux.org/cadical.git/