TPTP v8.1.1

5 views

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