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 2012-10-01T15:37:23Z
Distributions NixOS:1.3
Downloads 4418 total (6 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
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