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