jukebox-0.4.2: A first-order reasoning toolbox

Safe HaskellSafe
LanguageHaskell98

Jukebox.TPTP.FindFile

Documentation

findFile :: [FilePath] -> FilePath -> IO (Maybe FilePath) Source #

findFileTPTP :: [FilePath] -> FilePath -> IO (Maybe FilePath) Source #

getTPTPDirs :: IO [FilePath] Source #

findFileFlags :: OptionParser [[Char]] Source #