20 releases (10 breaking)

✓ Uses Rust 2018 edition

0.11.0 Jul 19, 2019
0.9.1 Apr 3, 2019
0.8.1 Feb 7, 2019
0.6.0 Nov 2, 2018

#162 in #parser

Download history 24/week @ 2019-03-30 25/week @ 2019-04-06 1/week @ 2019-04-13 20/week @ 2019-04-20 22/week @ 2019-04-27 20/week @ 2019-05-04 20/week @ 2019-05-11 57/week @ 2019-05-18 19/week @ 2019-05-25 19/week @ 2019-06-01 83/week @ 2019-06-08 31/week @ 2019-06-15 244/week @ 2019-06-22 40/week @ 2019-06-29 112/week @ 2019-07-06

230 downloads per month

MIT license

42KB
1K SLoC

tptp

A crate for reading files in the TPTP format.

Features

  • Streaming zero-copy parser on byte slices
  • Reasonably complete CNF/FOF dialect support

Wishlist

In order of urgency:

  • Complete annotation support
  • TFF/THF support?

Documentation

See docs.rs.


lib.rs:

A crate for reading files in the TPTP format.

Quickstart

fn example(bytes: &[u8]) {
    // stream TPTP statements
    for statement in tptp::parse(bytes) {

        // reading each statement might involve an error
        let statement = statement.expect("parse error");

        // process each statement as you see fit
        println!("{:#?}", statement);

    }
}

Dependencies

~705KB
~14K SLoC