tptp 0.2.0
| Author | Radek Micek <radek.micek@gmail.com> | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| License | MIT | |||||||||||||
| Homepage | https://github.com/radekm/ocaml-tptp | |||||||||||||
| Maintainer | radek.micek@gmail.com | |||||||||||||
| Dependencies |
|
|||||||||||||
| Published | May 10, 2013 | |||||||||||||
| Source [http] |
https://forge.ocamlcore.org/frs/download.php/1173/tptp-0.2.0.tar.bz2 0d078205b46e178d7d81a9e5a025aa45 |
|||||||||||||
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/tptp/tptp.0.2.0/opam | |||||||||||||
Library for reading and writing FOF and CNF formulas in TPTP format
| No package is dependent |