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, bytestring, parsec (≥3) |
| License | LGPL |
| Author | Denis Bueno |
| Maintainer | Denis Bueno <dbueno@gmail.com> |
| Stability | provisional |
| Category | Parsing |
| Upload date | Sat Oct 18 19:48:06 UTC 2008 |
| Uploaded by | DenisBueno |
| Built on | ghc-6.10, ghc-6.12, ghc-6.8, ghc-7.0 |
Modules
- Language
- CNF
Downloads
- parse-dimacs-1.2.tar.gz (Cabal source package)
- package description (included in the package)