#Basic:建模与尺寸编辑

    在仓库根目录运行 moon run examples/basic --target js。

    main.mbt依次展示 10×6 矩形改为 15×6、解析位置已知的 3-4-5 三角形、两圆外切,以及互相矛盾的坐标关系。输出状态、局部自由度、迭代次数与误差比;非线性未收敛不构成无解证明。

    从一个线段开始的完整教程见 快速开始,独立失败恢复流程见 conflict。

    Source Files