sansheng 0.11.0

三生（Sansheng）：三值推理工具箱的伞包（K3/Ł3/B3、SAT、BDD、网表、策略验证）
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

# 三生（sansheng）


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

```toml
[dependencies]
sansheng = "0.3"
```

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