2 packages found
M
Q
P
Description
Connecting to the TPTP Problem Library
Keywords
Publisher
published 0.6.1 • 9 months ago
M
Q
P
Description
Parser for the TPTP file format
Keywords
Publisher
published 2.6.2 • 4 years ago
Connecting to the TPTP Problem Library
Parser for the TPTP file format