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