Lib.rs

这是什么

一个端到端的cnf解析器。

使用方法

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);
    }

待办事项

• 添加自定义运算符
• 可选的sat求解器