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> { .. }
Utilities to parse files in DIMACS format which is the de-facto standard for input to SAT solvers.
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> { .. }