F# SAT solver

A SAT (boolean satisfiability) solver implemented in F#, with performance characteristics that are surprisingly unintuitive, even on unsatisfiable problems.

Last shared Nov 9, 2026

01 / Source history

Shared over time

Each entry reflects what was shared on that date. Details may have changed since then.

Nov 9, 2026
F# SAT solver
A SAT (boolean satisfiability) solver implemented in F#, with performance characteristics that are surprisingly unintuitive, even on unsatisfiable problems.
Posted by @davidgrenier · Original comment ↗
“A SAT solver in F#. The performance is surprisingly unintuitive, even for unsatisfiable problems.”