diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-05-27 11:56:01 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-05-27 11:56:01 +0200 |
| commit | d9201b85f3eb955af9168a8c6525415f44f64f05 (patch) | |
| tree | 5fba0149cb5d666221d5356b64b8205caf0f05af /backends/spice/spice.cc | |
| parent | fad52abf70a056007ef82f91a496c84de149d54a (diff) | |
| download | yosys-d9201b85f3eb955af9168a8c6525415f44f64f05.tar.gz yosys-d9201b85f3eb955af9168a8c6525415f44f64f05.tar.bz2 yosys-d9201b85f3eb955af9168a8c6525415f44f64f05.zip | |
Change default smt2 solver to yices (Yices 2 has switched its license to GPL)
Diffstat (limited to 'backends/spice/spice.cc')
0 files changed, 0 insertions, 0 deletions