New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

CI: add CVC4 #45

Closed

ekiwi opened this issue Aug 28, 2020 · 3 comments

Contributor

ekiwi commented Aug 28, 2020

I already have CVC4 in my Paso CI: https://github.com/ekiwi/paso/blob/main/ext/cvc4.sh

Contributor Author

ekiwi commented Aug 28, 2020

Should use the latest CVC4 though: https://github.com/CVC4/CVC4/releases/tag/1.8

Contributor

polgreen commented Oct 29, 2020

Adding to this that we should add synthesis to the CI when we add CVC4

Contributor Author

ekiwi commented Apr 30, 2021

This is getting address by @polgreen in #95

ekiwi closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment