Solver for quantified boolean formulae (QBF)