boolean_expression

boolean_expression copied to clipboard

Partial evaluation assuming a complex expression is true

2

Hi and thanks for this helpful library. I figured out how to do partial evaluation by substituting Terminals, but I don't know how to simplify an expression assuming some other...

farnoy

Consider optimizing variable order to reduce BDD size

3

Here's my example program: ```rust use boolean_expression::{BDD, Expr}; fn main() { let node = |name: &str| Expr::Terminal(name.to_string()); let a_select = (node("as0") & node("ai0")) | (node("as1") & node("ai1")) | (node("as2") &...

Ravenslofty