README.md

DIMACS Parser

Utilities to parse files in DIMACS .cnf or .sat SAT format which is useful in participating in the DIMACS SAT solver competition.

Basically provides the following API:

fn parse_dimacs(input: &str) -> Result<Instance> { .. }