search

jonaprieto / online-atps

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

--output-dir #12

Closed jonaprieto closed 7 years ago

jonaprieto commented 8 years ago

send all output to text files in a directory