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