3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-05 22:14:08 +00:00

add cvc5 executable to required tool mapping

This commit is contained in:
N. Engelhardt 2022-07-25 17:01:17 +02:00
parent 3ff2c9affc
commit 1cf206fc1c

View file

@ -4,6 +4,7 @@ REQUIRED_TOOLS = {
("smtbmc", "yices"): ["yices-smt2"],
("smtbmc", "z3"): ["z3"],
("smtbmc", "cvc4"): ["cvc4"],
("smtbmc", "cvc5"): ["cvc5"],
("smtbmc", "mathsat"): ["mathsat"],
("smtbmc", "boolector"): ["boolector"],
("smtbmc", "bitwuzla"): ["bitwuzla"],