Jukebox.TPTP.ParseProblem

Documentation

parseProblem :: [FilePath] -> FilePath -> IO (Either String (Problem Form))

parseProblemWith :: (FilePath -> IO (Maybe FilePath)) -> ProgressBar -> FilePath -> IO (Either String (Problem Form))