3 Commits (master)

Author	SHA1	Message	Date
aiju	39dd26bf08	sat: satget: don't duplicate binary clauses	2018-03-22 13:35:52 +00:00
aiju	8389465f94	sat: satget: include unit literals	2018-03-22 13:15:44 +00:00
aiju	2e2ae33a47	sat: add satget	2018-03-22 12:46:04 +00:00