三生（sansheng）

三值推理工具箱的统一入口：K3 / Ł3 / B3、真值表、dual-rail + SAT 等价、BDD、组合网表 X 传播、 三值决策表验证。

[dependencies]

sansheng = "0.3"

CLI 是 trit（cargo install trit-cli）。API 文档：https://docs.rs/sansheng。 详见仓库 README 与 docs/DESIGN.md。