Have you tried to compare Z3 with cvc5? https://cvc5.github.io/docs/cvc5-1.1.2/a... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Recursing 44 days ago \| parent \| context \| favorite \| on: Z3 API in Python: From Sudoku to N-Queens in Under... 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

gignico 44 days ago [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact