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