aboutsummaryrefslogtreecommitdiff
path: root/academic/kissat/kissat.SlackBuild
AgeCommit message (Expand)Author
2024-04-14academic/kissat: Added (SAT solver).alan_NaverOsa@lavSaPbiAtM.com
generated by cgit v1.2.3 (git 2.26.2) at 2024-11-22 18:31:44 +0000