# 更新记录

## 0.1.0 — 2026-11-09

- 首次提供不可变、有预算的 ZDD 集合族和集合代数／逐成员乘积。
- 支持元素筛选、重排、闭包、极小／极大族、最小命中集。
- 提供精确计数、排序分页、频数、大小界和有符号代价最优成员。
- 定义严格图表和 JSON v1 交换、DOT 及结构统计。
- 提供三个下游工作流、独立小域穷举模型和四后端 CI。