The parse-dimacs package

[Tags:bsd3, library]

A DIMACS CNF parser library, implemented with Parsec 3, using ByteStrings. DIMACS CNF is a file format for describing constraint problems in conjunctive normal form.

Properties

Versions 1.0, 1.0.1, 1.1, 1.2, 1.3
Change log CHANGES
Dependencies array, base (<5), bytestring, parsec (>=3) [details]
License BSD3
Author Denis Bueno
Maintainer Denis Bueno <dbueno@gmail.com>
Stability provisional
Category Parsing
Uploaded Mon Oct 1 15:37:23 UTC 2012 by DenisBueno
Distributions NixOS:1.3
Downloads 2018 total (8 in the last 30 days)
Votes
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees