cvc5 support #106

Open

Labels

no-preserve-root

opened

on Oct 21, 2024

After #104, we can add support for cvc5 via https://github.com/tudo-aqua/cvc5-turnkey/.

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests