diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-03-05 19:57:10 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-03-05 19:57:10 +0100 |
| commit | b1b8fe3a566099e5fd29e6d8c60e8f8b4feb0f34 (patch) | |
| tree | bf8cc4dcca45004e68f31ce3fcd93fb20e98b236 /kernel | |
| parent | 09805ee9ec0408bdc68b914927899f02371efcb7 (diff) | |
| download | yosys-b1b8fe3a566099e5fd29e6d8c60e8f8b4feb0f34.tar.gz yosys-b1b8fe3a566099e5fd29e6d8c60e8f8b4feb0f34.tar.bz2 yosys-b1b8fe3a566099e5fd29e6d8c60e8f8b4feb0f34.zip | |
Switched to EZMINISAT_SIMPSOLVER as default SAT solver
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions