Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-08-17 08:28:26 -0700 (Mon, 17 Aug 1998)
Revision: 2440
Log message:
Added multithreaded refinement. NOTE: this requires a patch to
LinuxThreads. The patched library is in clib/libpthreads-i386-linux.lib.
I'll add the source level patch in the next release.
Removed failure caching from tptp_prove to get more deterministic
refinements. Modified Tptp_prove.testT to create a single proof
goal, rather than running proveT several times.