← Back to context

Comment by gignico

3 months ago

I was about to comment the same. Z3 always takes all the credit but cvc5 is just as great!

0 comments

gignico

Reply

No comments yet

Contribute on Hacker News ↗