This website requires JavaScript.
Explore
Help
Sign In
ada
/
cvc5
Watch
0
Star
0
Fork
0
You've already forked cvc5
mirror of
https://github.com/AdaCore/cvc5.git
synced
2026-02-12 12:32:16 -08:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
12,073
Commits
59
Branches
0
Tags
25.1
Commit Graph
1 Commits
Author
SHA1
Message
Date
Andrew Reynolds
0a10033f67
Be robust to non-constant evaluation in sygus core connective (
#9977
)
...
Fixes cvc5/cvc5-projects#655. Includes one of the fixes from
#9976
.
2023-09-14 13:43:34 +00:00