The parse-dimacs package
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.
Properties
| Versions | 1.0, 1.0.1, 1.1, 1.2, 1.3 |
|---|---|
| Dependencies | array, base (<5), bytestring, parsec (≥3) |
| License | BSD3 |
| Author | Denis Bueno |
| Maintainer | Denis Bueno <dbueno@gmail.com> |
| Stability | provisional |
| Category | Parsing |
| Upload date | Mon Oct 1 15:37:23 UTC 2012 |
| Uploaded by | DenisBueno |
| Built on | ghc-7.6 |
Modules
- Language
- CNF
Downloads
- parse-dimacs-1.3.tar.gz (Cabal source package)
- package description (included in the package)