The Quantified Boolean Formulas Satisfiability Library