Hacker News new | past | comments | ask | show | jobs | submit
davidgrenier | on: Ask HN: What are you working on? (November 2026)
A SAT solver in F#. The performance is surprisingly unintuitive, even for unsatisfiable problems.