Name: parse-dimacs Version: 1.0.1 Synopsis: DIMACS CNF parser library Description: A DIMACS CNF parser library, implemented with Parsec. Category: Parsing License: LGPL License-file: COPYING Author: Denis Bueno Maintainer: Stability: provisional Build-Depends: base, parsec Build-type: Simple Exposed-modules: Language.CNF.Parse.ParseDIMACS Ghc-options: -W