[sammycage]

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?

[agnishom]

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

I don't think expressiveness applies here.