Function dimacs::parse_dimacs
[−]
[src]
pub fn parse_dimacs(input: &str) -> Result<Instance>
Parses a the given string as .cnf
or .sat
file as specified in
DIMACS format specification.
Returns an appropriate SAT instance if no errors occured while parsing.