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.

Versions [faq] 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 Mon Oct 1 15:37:23 UTC 2012
Distributions NixOS:1.3
Downloads 3357 total (43 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees