The parse-dimacs package
A DIMACS CNF parser library, implemented with Parsec.
Properties
| Versions | 1.0, 1.0.1, 1.1, 1.2, 1.3 |
|---|---|
| Dependencies | base, parsec |
| License | LGPL |
| Author | Denis Bueno |
| Maintainer | <dbueno@gmail.com> |
| Stability | provisional |
| Category | Parsing |
| Upload date | Sat Feb 24 01:11:46 UTC 2008 |
| Uploaded by | DenisBueno |
| Built on | ghc-6.10, ghc-6.12, ghc-6.8 |
Modules
- Language
- CNF
Downloads
- parse-dimacs-1.0.tar.gz (Cabal source package)
- package description (included in the package)