Provide all options of SystemOnTPTP in the command line

jonaprieto / online-atps

Run ATPs from SystemOnTPTP

MIT License

6 stars 1 forks source link

Provide all options of SystemOnTPTP in the command line #13

Closed jonaprieto closed 7 years ago

jonaprieto commented 8 years ago

We are talking that the user can choice the output mode, send the cpupassword, turnoff the flag tstp as many others.

jonaprieto commented 8 years ago

Because we will have a new field in the options aimed optSystemOnTPTP, the idea here is set those options with setters in Options.hs with the respective value from the command line.