summaryrefslogtreecommitdiff
path: root/passes/sat
Commit message (Collapse)AuthorAge
* Added SAT generator and simple sat_solve commandClifford Wolf2013-06-07