Hacker News Reader

Clean, thoughtful, and practical. Curious, have you tried benchmarking your Haskell solver against an SMT solver (like Z3 or CVC5) to compare performance or expressiveness?

View on HN

Thanks. Yes, there are comparisons with Z3 towards the end of the post.

I don't think expressiveness applies here.

Reply on news.ycombinator.com