1 Search Results
tptp
Library for reading and writing FOF and CNF formulas in TPTP format
0.3.2
MIT
Used by 0 other packages