tptp 0.3.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 17, 2014 | |||||||||||||||||
| Source [http] |
https://forge.ocamlcore.org/frs/download.php/1405/tptp-0.3.0.tar.bz2 7d4b075afc2ab4da330b341307c6982d |
|||||||||||||||||
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/tptp/tptp.0.3.0/opam | |||||||||||||||||
Library for reading and writing FOF and CNF formulas in TPTP format
| No package is dependent |