projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0565c64) | patch
Add support for the Bitwuzla solver
authorGCHQDeveloper560 <48131108+GCHQDeveloper560@users.noreply.github.com>
Wed, 16 Jun 2021 12:19:43 +0000 (13:19 +0100)
committerMarcelina Kościelnicka <mwk@0x04.net>
Mon, 12 Jul 2021 20:07:58 +0000 (22:07 +0200)
commit4379375d899b917d3f6ed00db64ab52c35f4f004
treeaa5d3b3708d03eab3334bc78f04c069b414168a8tree
parent0565c642a0c5a1b1f7b98ab681bc24226b739f9acommit | diff
Add support for the Bitwuzla solver
backends/smt2/smtio.py diff | blob | history