From: Jannis Harder <me@jix.one>
Date: Wed, 8 Jun 2022 10:52:51 +0000 (+0200)
Subject: Merge pull request #3357 from jix/smtbmc-cvc5
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6db29489386ce749d08c67547eb1b8acc16f8e5c;p=yosys.git

Merge pull request #3357 from jix/smtbmc-cvc5

smtbmc: recognize cvc5 and fix unrolling for cvc4/cvc5
---

6db29489386ce749d08c67547eb1b8acc16f8e5c