The parse-dimacs package

[ Tags: 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.


Versions 1.0, 1.0.1, 1.1, 1.2, 1.3
Change log CHANGES
Dependencies array, base, bytestring, parsec (>=3) [details]
License LGPL
Author Denis Bueno
Maintainer Denis Bueno <>
Category Parsing
Uploaded Sat Oct 18 19:48:06 UTC 2008 by DenisBueno
Distributions NixOS:1.3
Downloads 2843 total (37 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees