我正在玩 OR 工具，只是想知道是否有任何方法可以保持满足某个约束的次数？ 在这种情况下，我想跟踪我的“diff”变量为 -1、-2、0、2 等的次数。 我已经从官方文档中获得了解决方案打印机，那...