The parse-dimacs package

[Tags:bsd3, library]

A DIMACS CNF parser library, implemented with Parsec.

Properties

Versions 1.0, 1.0.1, 1.1, 1.2, 1.3
Dependencies base, parsec [details]
License LGPL
Author Denis Bueno
Maintainer <dbueno@gmail.com>
Stability provisional
Category Parsing
Uploaded Wed Feb 27 04:02:10 UTC 2008 by DenisBueno
Distributions NixOS:1.3
Downloads 2020 total (10 in the last 30 days)
Votes
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees