• en

tptp

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

Author Radek Micek <radek.micek@gmail.com>
License MIT
Homepage https://github.com/radekm/ocaml-tptp
Maintainer radek.micek@gmail.com

Events

Aug 22, 2014

Published version 0.3.1

May 17, 2014

Published version 0.3.0

May 10, 2013

Published version 0.2.0