In the command line the --atp=NAME should allow uppercase

jonaprieto / online-atps

Run ATPs from SystemOnTPTP

MIT License

6 stars 1 forks source link

Closed jonaprieto closed 7 years ago

jonaprieto commented 8 years ago

After process arguments from command line map toLower in each optATP name.

jonaprieto commented 7 years ago

I changed my mind, the user should know exactly the convention for the atp.