simple_predicates -- 一个用于建模简单布尔谓词的库

基本用法是实现布尔字面量类型的 Eval，然后使用布尔字面量构造 Expr。要评估表达式的真值，请调用 eval 方法，并传递解决谓词所需的任何上下文数据。

安装

将以下内容添加到您的 Cargo.toml

[dependencies]
simple_predicates = "0.1"

许可证

Stall 使用 MIT 许可证或 Apache 2.0 许可证进行许可，任选其一。

lib.rs:

简单布尔谓词