boolean_expression: 一个用于布尔表达式和BDD的Rust小crate

此crate提供了布尔表达式和二进制决策图（BDD）的操作和评估，以及从布尔表达式构建BDD和从BDD构建布尔表达式（通过简单的基于立方表的简化算法）。它还有一个非常简单的基于身份的布尔表达式简化器，尽管基于立方表的简化器更有效。

boolean_expression 版权所有 (c) 2016 by Chris Fallin <[email protected]>，并按照MIT许可证发布。有关详细信息，请参阅 LICENSE。

文档： 此处

Crates.io： 此处

lib.rs:

布尔表达式操作 / BDD库

此crate提供了布尔表达式和二进制决策图（BDD）的操作和评估，以及从布尔表达式构建BDD的功能。它还可以通过一套规则（如德摩根定律）或通过一个BDD和一个基于立方表的项约简的往返过程来简化布尔表达式。后者更强大，但成本也更高。

值得关注的主要部分包括

• Expr，一个基于简单AND / OR / NOT表达式的AST枚举。
• BDD，一个二进制决策图实现。
• CubeList，一个支持立方表操作的底层数据类型（用于将BDD函数转换为表达式）。