{- |
Description :  quantified Boolean logic
Copyright   :  (c) Otto-von-Guericke University of Magdeburg
License     :  GPLv2 or higher, see LICENSE.txt

The "QBF" folder contains the skeleton of
an instance of "Logic.Logic" for quantified Boolean logic, see <https://en.wikipedia.org/wiki/True_quantified_Boolean_formula>.
logic.

-}

module QBF where