https://github.com/Rose1917/bool2dimacs

https://github.com/Rose1917/bool2dimacs

Last synced: about 1 month ago
JSON representation

• Host: GitHub
• URL: https://github.com/Rose1917/bool2dimacs
• Owner: Rose1917
• Created: 2022-12-13T17:57:53.000Z (over 1 year ago)
• Default Branch: master
• Last Pushed: 2023-01-05T15:41:05.000Z (over 1 year ago)
• Last Synced: 2024-04-14T13:09:14.340Z (3 months ago)
• Language: Rust
• Size: 7.81 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Lists

• awesome-rust-formalized-reasoning - bool2dimacs - transfer boolean expression to dimacs directly. (Projects / Libraries)

README

        
#### 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

- [ ] Added customized operator

- [ ] An optional sat-solver