Function solhop_types::dimacs::parse_dimacs_from_file

pub fn parse_dimacs_from_file(filename: &Path) -> Dimacs

Parse a cnf/wcnf dimacs file.