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.


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 <>
Stability provisional
Category Parsing
Uploaded Mon Oct 1 15:37:23 UTC 2012 by DenisBueno
Distributions NixOS:1.3
Downloads 2032 total (15 in the last 30 days)
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees