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

Parser for the Dimacs file format.

dimacs = require('dimacs-parser')
p = dimacs.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:

bytes

Total bytes read.

clauses

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

status

The SATLIB collection of Boolean satisfiability problems comments each problem with its status where this is known. If dimacs-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.3.2                                ...           latest (3 years ago)

9 Versions

  • 2.3.2                                ...           3 years ago
  • 2.3.1                                ...           3 years ago
  • 2.3.0                                ...           3 years ago
  • 2.2.0                                ...           3 years ago
  • 2.1.0                                ...           3 years ago
  • 2.0.0                                ...           3 years ago
  • 1.1.1                                ...           3 years ago
  • 1.1.0                                ...           3 years ago
  • 1.0.0                                ...           3 years ago
Maintainers (1)
Downloads
Today 0
This Week 3
This Month 5
Last Day 1
Last Week 1
Last Month 2
Dependencies (2)
Dev Dependencies (1)
Dependents (2)

Copyright 2014 - 2016 © taobao.org |