Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Added support for shifter cells to SAT generator | Clifford Wolf | 2013-06-08 | 2 | -3/+17 | |
| | ||||||
* | Various improvements in sat_solve pass and SAT generator | Clifford Wolf | 2013-06-08 | 3 | -10/+74 | |
| | ||||||
* | Added -all and -max options to sat_solve | Clifford Wolf | 2013-06-08 | 1 | -0/+31 | |
| | ||||||
* | Improved auto-detection of -show signals in sat_solve | Clifford Wolf | 2013-06-08 | 2 | -29/+72 | |
| | ||||||
* | Improved sat generator and sat_solve pass | Clifford Wolf | 2013-06-07 | 2 | -4/+4 | |
| | ||||||
* | Added SAT generator and simple sat_solve command | Clifford Wolf | 2013-06-07 | 4 | -0/+259 | |