Library for reading and writing FOF and CNF formulas in TPTP format
Primary LanguageOCamlOtherNOASSERTION