pQBF

Submitter: Igor Stéphan
Description: A QBF solver for non-prenex, non-cnf format.
Results: