TPTPInterface.java should transceive data with https://tptp.org/cgi-bin/SystemOnTPTP.
SystemOnTPTP.jsp should be a user interface controller for TPTPInterface.java.
SystemOnTPTP.jsp is attached to this issue, but TPTPInterface.java needs to be dug up from the GH history.
SystemOnTPTP.txt
TPTPInterface.java should transceive data with https://tptp.org/cgi-bin/SystemOnTPTP.
SystemOnTPTP.jsp should be a user interface controller for TPTPInterface.java.
SystemOnTPTP.jsp is attached to this issue, but TPTPInterface.java needs to be dug up from the GH history.
SystemOnTPTP.txt