Add initial support for cvc5 and bitwuzla
authorR Veera Kumar <vklr@vkten.in>
Tue, 12 Jul 2022 11:57:21 +0000 (17:27 +0530)
committerR Veera Kumar <vklr@vkten.in>
Tue, 12 Jul 2022 11:57:21 +0000 (17:27 +0530)
commit31c0963eec1866251e343b40ec0f527577c5b932
tree357f6ad922dd1d0b05d5e48f666496d7efc789ad
parent386d46a086c648f0e932e1ef40fb80cdd50e6fcc
Add initial support for cvc5 and bitwuzla
hdl-tools-yosys