bool2cnf
| Crates.io | bool2cnf |
| lib.rs | bool2cnf |
| version | 0.1.9 |
| source | src |
| created_at | 2022-12-13 18:04:26.676823 |
| updated_at | 2023-04-06 15:40:53.815081 |
| description | transfer boolean expression to dimacs directly |
| homepage | |
| repository | |
| max_upload_size | |
| id | 736069 |
| size | 15,796 |
(Rose1917)
documentation
README
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