jukebox-0.2.10: A first-order reasoning toolbox
Jukebox.TPTP.FindFile
findFile :: [FilePath] -> FilePath -> IO (Maybe FilePath) Source #
findFileTPTP :: [FilePath] -> FilePath -> IO (Maybe FilePath) Source #
getTPTPDirs :: IO [FilePath] Source #
findFileFlags :: Annotated [Flag] ParParser [[Char]] Source #