Skip to content

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

License

Notifications You must be signed in to change notification settings

Robbepop/dimacs-parser

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

54 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

Topics

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages