parse-dimacs: DIMACS CNF parser library

[ bsd3, library, parsing ] [ Propose Tags ] [ Report a vulnerability ]

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.

Modules

Language
- CNF
  - Parse
    - Language.CNF.Parse.ParseDIMACS

Downloads

parse-dimacs-1.3.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

DenisBueno

For package maintainers and hackage trustees

edit package information

Candidates

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]
Tested with	ghc ==6.8.3, ghc ==7.4.1
License	BSD-3-Clause
Author	Denis Bueno
Maintainer	Denis Bueno <dbueno@gmail.com>
Category	Parsing
Uploaded	by DenisBueno at 2012-10-01T15:37:23Z
Distributions	NixOS:1.3
Reverse Dependencies	4 direct, 3 indirect [details]
Downloads	5207 total (12 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]