foliage

Rust 中的具有整数算术的一阶逻辑

此 Rust crate 提供了一阶公式（具有整数算术）的抽象语法树。

支持的公式

• 布尔值（true 和 false）
• 谓词
• 否定公式
• 项的比较（<, ≤, >, ≥, =, ≠）
• 蕴涵和双条件
• 公式的合取和析取
• 存在量和全称量化的公式

支持项

• 布尔值（true 和 false）
• 整数
• 字符串
• 特殊整数（下确界和上确界）
• 符号函数
• 变量
• 二进制运算（加法、减法、乘法、除法、取模、指数）
• 一元运算（绝对值、数值取反）