Hacker News new | ask | show | jobs
by gignico 209 days ago
I was about to comment the same. Z3 always takes all the credit but cvc5 is just as great!