search

jonaprieto / online-atps

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

--with-all #18

Closed jonaprieto closed 8 years ago

jonaprieto commented 8 years ago

Attacks the problem against the all ATP available. The --fof flag should be useful.