@hackage parse-dimacs1.1

DIMACS CNF parser library

Categories
- Parsers
License
LicenseRef-LGPL
Maintainer
Denis Bueno <dbueno@gmail.com>
Links
- Documentation
- No source repository
- Changelog
- Security
Versions
- 1.3 Mon, 1 Oct 2012
- 1.2 Sat, 18 Oct 2008
- 1.1 Fri, 21 Mar 2008
- 1.0.1 Wed, 27 Feb 2008
- 1.0 Sun, 24 Feb 2008

Installation
In your cabal file:
Dependencies (2)
- base
- parsec
Dependents (5)
@hackage/toysolver, @hackage/sat-micro-hs, @hackage/acme-everything, @hackage/satchmo-funsat, @hackage/funsat

A DIMACS CNF parser library, implemented with Parsec.