Skip to content

Releases: tudo-aqua/cvc4-turnkey

CVC4 v1.8

09 Sep 19:51
@mmuesly mmuesly
1.8
This tag was signed with the committer’s verified signature. The key has expired.
no-preserve-root Simon Dierl
GPG key ID: B036A7F3101C0222
Expired
Verified
Learn about vigilant mode.
929b1fc
This commit was signed with the committer’s verified signature. The key has expired.
no-preserve-root Simon Dierl
GPG key ID: B036A7F3101C0222
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
CVC4 v1.8 Latest
Latest

This jar is built around the CVC4 1.8 tag and works on Linux and MacOS

Assets 8
Loading