qpro

Submitter: Martina Seidl
Description: DPLL based solver for QBFs of arbitrary structre implementing dependency-directed backtracking
Results: