3 commits

Author	SHA1	Message	Date
Clifford Wolf	23a7973094	Added support for shifter cells to SAT generator	2013-06-08 15:12:08 +02:00
Clifford Wolf	1434312fdd	Various improvements in sat_solve pass and SAT generator	2013-06-08 14:11:50 +02:00
Clifford Wolf	46fbe9d262	Added SAT generator and simple sat_solve command	2013-06-07 13:59:13 +02:00