-
Notifications
You must be signed in to change notification settings - Fork 39
Support for CVC5 #171
Open
Assignees
Description
The CVC4 GitHub repo has been archived, seemingly indicating no new releases of CVC4 are planned, and by extension CVC4 may stop working completely in the future.
On the other hand CVC5 is actively developed and supported. Are there any plans to support CVC5? If not, maybe it would be useful to give some hints on what (if anything) might have to be added/changed in CoqHammer to support CVC5, in case a community member becomes interested in working on it.