minisat Simple SAT solver for propositional logic in F#. TODO: Figure out how to remove mutable visited set. dotnet run