alt
Hacker News
davidgrenier
•
today at 11:40 AM
•
0 replies
•
view on HN
A SAT solver in F#. The performance is surprisingly unintuitive, even for unsatisfiable problems.
alt Hacker News