HordeQBF: A Modular and Massively Parallel QBF Solver
An Extensible SAT-solver