Robbepop / dimacs-parser

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

Repository from Github https://github.comRobbepop/dimacs-parserRepository from Github https://github.comRobbepop/dimacs-parser

Build Status Build status Coverage Status Crates.io Version Doc.rs Badge MIT licensed

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

About

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

License:MIT License


Languages

Language:Rust 100.0%