GenZ-0.1.0.0: exec/tptp-size.hs

module Main where

import General
import FormP.ParseTPTP

-- | Compute the size of tptp formulas
main :: IO ()
main = do
  putStrLn "Give me the filepath: "
  p <- getLine
  content <- readFile p
  case parseTPTPProblem content of
    Left e -> print e
    Right f -> do
      print $ size f