Comment by Recursing
3 months ago
Have you tried to compare Z3 with cvc5? https://cvc5.github.io/docs/cvc5-1.1.2/api/python/pythonic/p...
It offers basically the same API and could be faster in many cases
3 months ago
Have you tried to compare Z3 with cvc5? https://cvc5.github.io/docs/cvc5-1.1.2/api/python/pythonic/p...
It offers basically the same API and could be faster in many cases
I was about to comment the same. Z3 always takes all the credit but cvc5 is just as great!