Tools to convert QBF and DQBF problems into higher order problems in TPTP THF format.
Primary LanguageHaskell