Lib.rs

› 科学 › 数学
#clause #cube #cnf #logic #dnf

nightly logic-form

Rust库，用于表示立方体、子句、CNF和DNF

由 苏宇恒 编写

2个版本

0.1.1 2023年3月21日
0.1.0 2023年3月21日

1748 在 数学 中排名

每月下载量 36
用于 aig

MIT 许可协议

9KB
318 行

logic-form

Rust库，用于表示立方体、子句、CNF和DNF

无运行时依赖