jukebox-0.1.6: A first-order reasoning toolbox
Jukebox.TPTP.ParseProblem
parseProblem :: [FilePath] -> FilePath -> IO (Either String (Problem Form)) Source
parseProblemWith :: (FilePath -> IO (Maybe FilePath)) -> ProgressBar -> FilePath -> IO (Either String (Problem Form)) Source