rareqs-nn

Submitter: Mikolas Janota
Description: Devised by Mikolas Janota, is a solver for non-prenex non-cnf formulas.
Details are available in
Janota, M., Klieber, W., Marques-Silva, J., Clarke, E.: Solving QBF with counterexample guided refinement. Artificial Intelligence 234 (2016) 125
Results: