jukebox-0.2.13: A first-order reasoning toolbox
Jukebox.TPTP.Parse
parseString :: String -> IO (Problem Form) Source #
parseProblem :: (FilePath -> IO ()) -> [FilePath] -> FilePath -> IO (Either String (Problem Form)) Source #
parseProblemWith :: (FilePath -> IO ()) -> (FilePath -> IO (Maybe FilePath)) -> FilePath -> IO (Either String (Problem Form)) Source #