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