@hackage parse-dimacs1.3

DIMACS CNF parser library

Categories
- Parsing
- Parsers
License
BSD-3-Clause
Maintainer
Denis Bueno <dbueno@gmail.com>
Links
- Homepage
- Documentation
- No source repository
- Changelog
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

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.

Installation
In your cabal file:
Dependencies (0)
Dependents (2)
@hackage/toysolver, @hackage/funsat

@hackage parse-dimacs1.3

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (0)

Dependents (2)