What is this

an end-to-end cnf parser.

Usage

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

• Added customized operator
• An optional sat-solver