tptp

Library for reading and writing FOF and CNF formulas in TPTP format
IN THIS PACKAGE

Libraries

This package provides the following libraries (via ocamlobjinfo):

tptp

Documentation: