parse-dimacs: DIMACS CNF parser library

[ bsd3, library, parsing ] [ Propose Tags ]

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.




Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS] 1.0, 1.0.1, 1.1, 1.2, 1.3
Change log CHANGES
Dependencies array, base (<5), bytestring, parsec (>=3) [details]
License BSD-3-Clause
Author Denis Bueno
Maintainer Denis Bueno <>
Category Parsing
Uploaded by DenisBueno at 2012-10-01T15:37:23Z
Distributions NixOS:1.3
Reverse Dependencies 4 direct, 3 indirect [details]
Downloads 4975 total (19 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]