This is an unofficial reimagining of the Archive of Formal Proofs
A Fast SAT Solver for Isabelle in Standard MLby Armin Heller