truthful
| Crates.io | truthful |
| lib.rs | truthful |
| version | 0.1.1 |
| source | src |
| created_at | 2022-12-17 03:10:29.72385 |
| updated_at | 2022-12-17 23:45:22.647423 |
| description | A logical expression parser, optimizer and evaluator. |
| homepage | |
| repository | https://github.com/codx-dev/truthful |
| max_upload_size | |
| id | 739607 |
| size | 68,902 |
Victor Lopes (vlopes11)
documentation
README
Truthful
A logical expression parser, optimizer and evaluator.
$ cargo run
welcome! enter ? for help
> a or (a and b)
evaluating "a"
a eval
0 0
1 1
> !a v b
evaluating (!"a" v "b")
a b eval
0 0 1
0 1 1
1 0 0
1 1 1
> q
bye!
TODO
- Grammar operator precedence.
- Actual optimization (the current one is a bunch of NAND + DeMorgan naive transformations).