aboutsummaryrefslogtreecommitdiff
path: root/academic/kissat
ModeNameSize
-rw-r--r--README734logplain
-rw-r--r--kissat.SlackBuild3272logplain
-rw-r--r--kissat.info354logplain
-rw-r--r--slack-desc1210logplain