jukebox-0.5.1: A first-order reasoning toolbox

Safe HaskellSafe
LanguageHaskell2010

Jukebox.TPTP.FindFile

Documentation