TPTP v8.1.1

1 view
Skip to first unread message

Geoff Sutcliffe

unread,
Oct 13, 2022, 7:22:34 AM10/13/22
to TPTP World
Hi TPTP users,

I have released TPTP v8.1.1. There are no new problems - all it does is rename all *=* files to *_* files, because they are written in TFF. The SPCs are now the primary source of problem classification.

Cheers,

Geoff

Geoff Sutcliffe

unread,
Oct 17, 2022, 3:12:45 PM10/17/22
to TPTP World
Hi TPTP Users,

I found some mistakes and omissions in the Documents of TPTP v8.1.1. I have fixed these in TPTP v8.1.2, which is available from your home page ... www.tptp.org .

Cheers,

Geoff
Reply all
Reply to author
Forward
0 new messages