GitHub - radekm/ocaml-tptp: Library for reading and writing FOF and CNF formulas in TPTP format

radekm / ocaml-tptp Public

Notifications You must be signed in to change notification settings
Fork 1
Star 5

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

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 51 Commits
spec		spec
src		src
test		test
.gitignore		.gitignore
AUTHORS.txt		AUTHORS.txt
Changes		Changes
INSTALL.txt		INSTALL.txt
LICENSE.txt		LICENSE.txt
README.txt		README.txt
_oasis		_oasis
_tags		_tags
myocamlbuild.ml		myocamlbuild.ml
opam		opam
setup.ml		setup.ml

Repository files navigation

(* OASIS_START *)
(* DO NOT EDIT (digest: b8e6cc9e1d07d9c2684e736dcb63cb9e) *)

tptp - TPTP format parsing
==========================

tptp is a library for reading and writing FOF and CNF formulas in TPTP
format. Library can process all problems and axioms from TPTP 6.2.0 which
don't contain line starting with "thf(" or "tff(".

See the file [INSTALL.txt](INSTALL.txt) for building and installation
instructions.

Copyright and license
---------------------

(c) 2012-2015 Radek Micek

tptp is distributed under the terms of the MIT License.

See [LICENSE.txt](LICENSE.txt) for more information.

(* OASIS_STOP *)