tptp 0.5.1

Read files in the TPTP format

Coverage
85.19%
115 out of 135 items documented2 out of 42 items with examples
Links
Homepage
Crates.io
Dependencies
Versions
- 0.31.1
- 0.31.0
- 0.30.0
- 0.29.1
- 0.29.0
- 0.28.0
- 0.27.0
- 0.26.0
- 0.25.0
- 0.24.0
- 0.23.1
- 0.23.0
- 0.22.0
- 0.21.0
- 0.20.0
- 0.19.0
- 0.18.1
- 0.18.0
- 0.17.0
- 0.16.0
- 0.15.0
- 0.14.0
- 0.13.0
- 0.12.0
- 0.11.0
- 0.10.0
- 0.9.1
- 0.9.0
- 0.8.1
- 0.8.0
- 0.7.2
- 0.7.1
- 0.7.0
- 0.6.0
- 0.5.1
- 0.5.0
- 0.4.0
- 0.3.4
- 0.3.3
- 0.3.2
- 0.3.1
- 0.3.0
- 0.2.0
- 0.1.1
- 0.1.0
Owners

tptp

A crate for reading files in the TPTP format.

Features

Streaming parser
Simplified API for common cases
Reasonably complete CNF/FOF support

Wishlist

In order of urgency:

Complete annotation support
TFF/THF support?

Documentation