search

jonaprieto / online-atps

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

The command line executable that accepts filename, the atp and its version #7

Closed jonaprieto closed 8 years ago

jonaprieto commented 8 years ago

We want to use onlineatps as an executable. At the beginning, the prototype should accepts a filepath, the atp name and optionally a version for the atp. 


$ onlineatps ./basic-1.fof --atp=online-e

The name of atp should not have the prefix "online":


$ onlineatps ./basic-1.fof --atp=e