Crate flussab_cnf

Crate flussab_cnf

Expand description

This crate contains parsers and writers for the DIMACS CNF file format and for some variants or extensions of this format.

In the future it will also contain parser for other closely related file formats.

Modules§

cnf: Parsing and writing of the DIMACS CNF file format.
gcnf: Parsing and writing of the GCNF file format for group oriented CNF formulas.
sat_solver_log: Parsing of SAT solver logs.
wcnf: Parsing and writing of the WCNF file format for weighted CNF formulas.

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 Aliases§

ParseError: Boxed version of InnerParseError.