In a modern SAT solver, almost everything modifies the state, all the time. I've written sat solvers, and tried to work with good Haskell programmers to write

In a modern SAT solver, almost everything modifies the state, all the time. I've written sat solvers, and tried to work with good Haskell programmers to write sat solvers. It didn't turn out well.