4 ms·
Clean, thoughtful, and practical. Curious, have you tried benchmarking your Haskell solver against an SMT solver (like Z3 or CVC5) to compare performance or exp
by sammycage 1y ago
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 1y agoThanks. Yes, there are comparisons with Z3 towards the end of the post. I don't think expressiveness applies here.