package tptp

  1. Overview
  2. Docs
Library for reading and writing FOF and CNF formulas in TPTP format

Install

Dune Dependency

Authors

Maintainers

Sources

tptp-0.3.0.tar.bz2
md5=7d4b075afc2ab4da330b341307c6982d

Description

Published: 18 May 2014

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.