search

jonaprieto / online-atps

Run ATPs from SystemOnTPTP
MIT License
6 stars 1 forks source link

given an valid online atp name return a valid SystemATP #2

Closed jonaprieto closed 8 years ago

jonaprieto commented 8 years ago

The user gives a name of atp like "online-vampire" and the method must return the corresponding data type SystemATP.

getByNameSystemATP :: String -> IO SystemATP

> getByNameSystemATP "online-e"
SystemATP
  { sysKey         = "online-e"
  , sysName        = "E---2.0"
  , sysVersion     = "2.0"
  , sysTimeLimit   = "60"
  , sysTransform   = "none"
  , sysFormat      = "tptp:raw"
  , sysCommand     = "eprover -s --cpu-limit=%d %s"
  , sysApplication = "Prover and model finder, for FOF CNF"
  }