Copyright | (c) Otto-von-Guericke University of Magdeburg |
---|---|

License | GPLv2 or higher, see LICENSE.txt |

Safe Haskell | Safe |

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.