What is this

an end-to-end cnf parser.

Usage

```rust use bool2cnf::parse_dimacs

fn test_parse(){
    let input = "A&&(B||!(D&&E))";
    println!("raw string:{}", input);
    let p = parse_dimacs(input);
    println!("dimacs:\n{}", p);
}

```

Todo