summaryrefslogtreecommitdiff
path: root/kernel/satgen.h
Commit message (Collapse)AuthorAge
* Added support for shifter cells to SAT generatorClifford Wolf2013-06-08
|
* Various improvements in sat_solve pass and SAT generatorClifford Wolf2013-06-08
|
* Improved sat generator and sat_solve passClifford Wolf2013-06-07
|
* Added SAT generator and simple sat_solve commandClifford Wolf2013-06-07