pub fn from_dimacs(i: impl Read) -> Result<Vec<Vec<Literal>>, String>
Parses a DIMACS file and returns it in CNF. Variable names are kept as decimal numbers.