summaryrefslogtreecommitdiff
path: root/sys/src/libsat/satget.c
AgeCommit message (Expand)Author
2018-03-22sat: satget: don't duplicate binary clausesaiju
2018-03-22sat: satget: include unit literalsaiju
2018-03-22sat: add satgetaiju