Crate flussab_cnf

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.