tptp-parser
Parser for the TPTP file format
Last updated 3 years ago by russellw .
MIT · Repository · Bugs · Original npm · Tarball · package.json
$ cnpm install tptp-parser 
SYNC missed versions from official npm registry.

Parser for the TPTP file format.

tptp = require('tptp-parser')
p = tptp.parse(text[, file])

Supplying the name of the file from which the text was read is optional; if given, it will be used in error messages.

The return value is an object with the following fields:

files

Names of the files that were read. This is useful if you want to see what's going on with recursive include directives.

bytes

Total bytes read.

formulas

A conjunction of formulas, represented as terms in the form defined by the clause-normal-form package.

conjecture

The conjecture, if there was one. It is already included in formulas in negated form, but a solver still needs to pay attention to this field if it outputs an answer in SZS form, which uses different wording depending on whether a conjecture was present.

status

The TPTP collection of logic problems comments each problem with its status where this is known. If tptp-parser finds such a comment in that format, it extracts and returns the status field. This is useful for testing solvers against a collection of known problems.

Current Tags

  • 2.6.2                                ...           latest (3 years ago)

14 Versions

  • 2.6.2                                ...           3 years ago
  • 2.6.1                                ...           3 years ago
  • 2.6.0                                ...           3 years ago
  • 2.5.2                                ...           3 years ago
  • 2.5.1                                ...           3 years ago
  • 2.5.0                                ...           3 years ago
  • 2.4.0                                ...           3 years ago
  • 2.3.0                                ...           3 years ago
  • 2.2.0                                ...           3 years ago
  • 2.1.1                                ...           3 years ago
  • 2.1.0                                ...           3 years ago
  • 2.0.0                                ...           3 years ago
  • 1.1.0                                ...           3 years ago
  • 1.0.0                                ...           3 years ago
Maintainers (1)
Downloads
Today 0
This Week 0
This Month 1
Last Day 0
Last Week 0
Last Month 15
Dependencies (2)
Dev Dependencies (1)
Dependents (1)

Copyright 2014 - 2016 © taobao.org |