About

Metadata

  • Last updated , by DenisBueno
  • License BSD-3-Clause
  • Categories Parsers
  • Maintained by: Denis Bueno <dbueno@gmail.com>

  • Lottery factor: 0

Links

Installation

Readme

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.