boolean_expression
| Crates.io | boolean_expression |
| lib.rs | boolean_expression |
| version | 0.4.4 |
| source | src |
| created_at | 2016-05-16 17:28:28.571811 |
| updated_at | 2021-03-16 01:38:23.513197 |
| description | A library for manipulating and evaluating Boolean expressions and BDDs |
| homepage | |
| repository | https://github.com/cfallin/boolean_expression |
| max_upload_size | |
| id | 5088 |
| size | 83,393 |
Chris Fallin (cfallin)
documentation
https://cfallin.github.io/boolean_expression/boolean_expression/
README
boolean_expression: a small Rust crate for Boolean expressions and BDDs
This crate provides for the manipulation and evaluation of Boolean expressions and Binary Decision Diagrams (BDDs), the construction of BDDs from Boolean expressions, and the construction of Boolean expressions from BDDs (via a simple cubelist-based minimization algorithm). It also has a very simple identity-based Boolean expression simplifier, though the cubelist-based minimizer is more effective.
boolean_expression is Copyright (c) 2016 by Chris Fallin <cfallin@c1f.net>
and is released under the MIT license. See LICENSE for details.
Documentation: here
Crates.io: here