Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
BNFandSZSPreRelease.tgz | 2017-08-08 10:29 | 8.6K | ||
TPTP-Beta.tgz | 2017-08-08 10:29 | 9.1K | ||
TPTP-v1.0.0.tgz | 2017-08-08 10:29 | 1.0M | ||
TPTP-v1.1.1.tgz | 2017-08-08 10:29 | 1.2M | ||
TPTP-v1.1.2.tgz | 2017-08-08 10:29 | 919K | ||
TPTP-v1.1.3.tgz | 2017-08-08 10:29 | 1.2M | ||
TPTP-v1.2.0.tgz | 2017-08-08 10:29 | 1.1M | ||
TPTP-v1.2.1.tgz | 2017-08-08 10:29 | 1.1M | ||
TPTP-v2.0.0.tgz | 2017-08-08 10:29 | 911K | ||
TPTP-v2.1.0.tgz | 2017-08-08 10:29 | 1.6M | ||
TPTP-v2.2.0.tgz | 2017-08-08 10:29 | 1.7M | ||
TPTP-v2.2.1.tgz | 2017-08-08 10:29 | 1.7M | ||
TPTP-v2.3.0.tgz | 2017-08-08 10:29 | 1.6M | ||
TPTP-v2.4.1.tgz | 2017-08-08 10:29 | 2.6M | ||
TPTP-v2.5.0.tgz | 2017-08-08 10:29 | 176K | ||
TPTP-v2.6.0.tgz | 2017-08-08 10:29 | 6.7M | ||
TPTP-v2.7.0.tgz | 2017-08-08 10:29 | 7.4M | ||
TPTP-v3.0.0.tgz | 2017-08-08 10:29 | 6.5M | ||
TPTP-v3.0.1.tgz | 2017-08-08 10:29 | 6.5M | ||
TPTP-v3.1.0.tgz | 2017-08-08 10:29 | 6.1M | ||
TPTP-v3.1.1.tgz | 2017-08-08 10:29 | 6.1M | ||
TPTP-v3.2.0.tgz | 2017-08-08 10:29 | 6.4M | ||
TPTP-v3.3.0.tgz | 2017-08-08 10:29 | 8.7M | ||
TPTP-v3.4.0.tgz | 2017-08-08 10:29 | 124M | ||
TPTP-v3.4.1.tgz | 2017-08-08 10:29 | 125M | ||
TPTP-v3.4.2.tgz | 2017-08-08 10:29 | 124M | ||
TPTP-v3.5.0.tgz | 2017-08-08 10:29 | 125M | ||
TPTP-v3.6.0.tgz | 2017-08-08 10:29 | 125M | ||
TPTP-v3.7.0.tgz | 2017-08-08 10:30 | 127M | ||
TPTP-v4.0.0.tgz | 2017-08-08 10:30 | 157M | ||
TPTP-v4.0.1.tgz | 2017-08-08 10:30 | 158M | ||
TPTP-v4.1.0.tgz | 2017-08-08 10:30 | 170M | ||
TPTP-v5.0.0.tgz | 2017-08-08 10:30 | 170M | ||
TPTP-v5.1.0.tgz | 2017-08-08 10:30 | 170M | ||
TPTP-v5.2.0.tgz | 2017-08-08 10:31 | 191M | ||
TPTP-v5.3.0.tgz | 2017-08-08 10:31 | 201M | ||
TPTP-v5.4.0.tgz | 2017-08-08 10:31 | 199M | ||
TPTP-v5.5.0.tgz | 2017-08-08 10:31 | 225M | ||
TPTP-v6.0.0.tgz | 2017-08-08 10:31 | 228M | ||
TPTP-v6.1.0.tgz | 2017-08-08 10:32 | 450M | ||
TPTP-v6.2.0.tgz | 2017-08-08 10:32 | 450M | ||
TPTP-v6.3.0.tgz | 2017-08-08 10:33 | 450M | ||
TPTP-v6.4.0.tgz | 2017-08-08 10:35 | 536M | ||
TPTP-v7.0.0.tgz | 2017-08-08 08:26 | 552M | ||
TPTP-v7.1.0.tgz | 2018-03-07 10:17 | 553M | ||
TPTP-v7.2.0.tgz | 2018-07-13 01:18 | 553M | ||
TPTP-v7.3.0.tgz | 2019-10-22 10:49 | 560M | ||
TPTP-v7.4.0.tgz | 2020-07-08 15:26 | 581M | ||
TPTP-v7.5.0.tgz | 2021-07-13 13:26 | 589M | ||
TPTP-v8.0.0.tgz | 2022-04-25 09:43 | 807M | ||
TPTP-v8.1.0.tgz | 2022-08-09 04:25 | 864M | ||
TPTP-v8.1.1.tgz | 2022-10-13 20:36 | 865M | ||
TPTP-v8.1.2.tgz | 2022-10-17 15:07 | 865M | ||