20 releases (9 breaking)

✓ Uses Rust 2018 edition

0.10.0 Jun 11, 2019
0.8.1 Feb 7, 2019
0.6.0 Nov 2, 2018

#105 in Parser implementations

Download history 2/week @ 2019-02-23 40/week @ 2019-03-02 1/week @ 2019-03-09 5/week @ 2019-03-16 155/week @ 2019-03-23 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

129 downloads per month

MIT license

40KB
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

~670KB
~13K SLoC