issues
search
cvc5
/
cvc5_pythonic_api
A Z3Py-compatible interface to cvc5
Other
6
stars
9
forks
source link
Fix FP kinds
#66
Closed
nafur
closed
2 years ago
nafur
commented
2 years ago
Some FP kinds changed name...
Some FP kinds changed name...