ratsat::dimacs
pub fn parse<R: BufRead>( input: &mut R, solver: &mut Solver, is_strict: bool) -> Result<()>