fixed-point-reasoners/arc2

为此模型做种

有文件？提交种子。