robbepop / dimacs-parser

Utilities to parse files in DIMACS format which is the de-facto standard for input to SAT solvers.

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> { .. }

dimacs-parser's Issues

A Lit::to_i64 method would be useful

Currently, I have to resort to transmute.

"ParseError" does not implement "std::error::Error"

The Error trait is recommended for all error types. It can be helpful for debugging and implementing abstract errors on top of this error.