DepQBF, a solver for quantified boolean formulae (QBF).