an end-to-end cnf parser.
```rust use bool2cnf::parsedimacs fn testparse(){ let input = "A&&(B||!(D&&E))"; println!("raw string:{}", input); let p = parse_dimacs(input); println!("dimacs:\n{}", p); }
```