package tptp
Library for reading and writing FOF and CNF formulas in TPTP format
Install
Dune Dependency
Authors
Maintainers
Sources
tptp-0.2.0.tar.bz2
sha256=e971855be29d8e77d23b74a2509620e89a5add41e458af2140d3b876ffc11470
md5=0d078205b46e178d7d81a9e5a025aa45
Description
Published: 21 Nov 2013
Dependencies (4)
-
ocamlbuild
build
- zarith
- ocamlfind
-
ocaml
< "4.06.0"
Dev Dependencies
None
Used by
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page