闲时编了一个小的空间推理小程序,可以做RCC5/8及IA的复合计算和路径相容性检验,检验网络极小性等等。