Support bitwuzla, cvc5, z3 as solver attribute values#4218

tautschnig merged 22 commits into

model-checking:mainmodel-checking/kani:mainfrom

tautschnig:use-z3tautschnig/kani:use-z3Copy head branch name to clipboard