(imiron.io)

99 points agnishom | 2 comments | 24 Jun 25 07:29 UTC | HN request time: 0s | source

1. sammycage ◴[24 Jun 25 08:01 UTC] No.44363856[source]▶

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?

replies(1): >>44384216 #

2. agnishom ◴[26 Jun 25 04:37 UTC] No.44384216[source]▶

>>44363856 (TP) #

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

I don't think expressiveness applies here.

↑

Solving LinkedIn Queens Using Haskell