如何使用 Potassco clingo python API 实际检查模型证明的最优性？

如何解决如何使用 Potassco clingo python API 实际检查模型证明的最优性？

我有以下代码：

from clingo import Control

def on_model(m):
    print(m,m.optimality_proven)

ctl = Control(["0"])
ctl.add("base",(),"0 { a } 1. :~ a. [-1@0]")
ctl.ground([("base",())])
solution = ctl.solve(on_model=on_model)
assert solution.exhausted

当我运行它时，输出是：

 False
a False

我很困惑为什么在第二种情况下 optimality_proven 标志设置为 False。 Clingo 首先检查次优的空模型，然后检查包含单个原子 a 的模型，这是最优的。但是出于某种原因，即使搜索已用尽，它也不知道它是最佳的？是不是因为只有在检查这个模型后才会出现耗尽？但是，我怎样才能让这个标志永远设置为 True？我的意思是，我可以做一些变通办法，比如在 on_model 函数中存储和比较生成的模型，以自己检查最优性，但考虑到 API 提示此 {{1} 函数中已经可用的功能，这感觉很不自然}} 属性。