diff options
| author | Clifford Wolf <clifford@clifford.at> | 2013-06-08 12:17:30 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2013-06-08 12:17:30 +0200 |
| commit | 99957a825f077248560b8232465b61d1c2416cfc (patch) | |
| tree | 4302239d43f6c78ce8194390dc5ee569851dcf75 /passes/sat/example.v | |
| parent | 25ae2d4df0cf9fcd4069e66d260c207300415af9 (diff) | |
| download | yosys-99957a825f077248560b8232465b61d1c2416cfc.tar.gz yosys-99957a825f077248560b8232465b61d1c2416cfc.tar.bz2 yosys-99957a825f077248560b8232465b61d1c2416cfc.zip | |
Added -all and -max options to sat_solve
Diffstat (limited to 'passes/sat/example.v')
0 files changed, 0 insertions, 0 deletions