This repository contains a 2QBF solver implemented in Haskell. It was created in fulfillment of the assignment given in the lecture on QBF as presented at the Doctorall College for Logical Methods in Computer Science's Ringvorlesung (see here for the assignment).
Installtion requires that ghc and cabal-install are installed on your system.
To install, run:
cabal new-install
cabal new-build
To solve a 2QBF file in Qdimacs format, run:
funqbf <path-to-file>
For help, run:
funqbf -h
To see what version of funqbf is installed, run:
funqbf -v