diff options
| author | clairexen <claire@symbioticeda.com> | 2020-05-29 16:23:10 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-29 16:23:10 +0200 |
| commit | 5874a14d659068acbf04aa381a782ea8c0a5adce (patch) | |
| tree | 81c5d4cd3d5ec00793395cbeee64c6f8adcca647 /manual | |
| parent | 1c8d5a08a03a72d340be5b74644db8853225db09 (diff) | |
| parent | f9eef5e3f710684c8cfe5430190b5cf4f7c2e34e (diff) | |
| download | yosys-5874a14d659068acbf04aa381a782ea8c0a5adce.tar.gz yosys-5874a14d659068acbf04aa381a782ea8c0a5adce.tar.bz2 yosys-5874a14d659068acbf04aa381a782ea8c0a5adce.zip | |
Merge pull request #2017 from boqwxp/qbfsat-cvc4
qbfsat: Add support for CVC4.
Diffstat (limited to 'manual')
0 files changed, 0 insertions, 0 deletions