@hackage parse-dimacs1.3

DIMACS CNF parser library

Categories
- Parsers
License
BSD-3-Clause
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 (4)
- array
- base <5
- bytestring
- parsec >=3
Dependents (5)
@hackage/toysolver, @hackage/sat-micro-hs, @hackage/acme-everything, @hackage/satchmo-funsat, @hackage/funsat

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.

@hackage parse-dimacs1.3

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (4)

Dependents (5)