Crate flussab_cnf[][src]

This crate contains parsers and writers for the DIMACS CNF file format.

In the future it will also contain parser for extensions of this format and other closely related file formats.

See the cnf module for the DIMACS CNF file format.

Modules

cnf

Parsing and writing of the DIMACS CNF file format.

Enums

InnerParseError

Either a SyntaxError or an io::Error.

Traits

Dimacs

Type that can be used to represent literals and variables in DIMACS CNF and related file formats.

Type Definitions

ParseError

Boxed version of InnerParseError.