用Python库clingo枚举子集最小模型

Question

我想列举所有子集最小模型。如果我从终端调用clingo，它就能工作，但是当我使用用于Python的clingo库时，它会失败。我遗漏了什么？

示例程序

1 {x(C) : C=1..10} 2.
#show x/1.

终端解决方案

clingo program.asp --models=0 --enum-mode=domRec --heuristic=Domain --dom-mod=5,16
clingo version 5.4.0
Reading from program.asp
Solving...
Answer: 1
x(1)
Answer: 2
x(10)
...
Answer: 10
x(5)
SATISFIABLE

Models       : 10
Calls        : 1
Time         : 0.001s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 0.001s

Python和clingo的解决方案

from clingo import Control, Model

control = Control(arguments=[f"--models=0", "--opt-mode=optN"])
control.heuristic = "domain"
control.dom_mod = "5,16"
control.enum_mode = "domRec"

control.add(name="base", parameters={}, program="1 {x(C) : C=1..10} 2.")
control.add(name="base", parameters={}, program="#show x/1.")

solutions = []

def add_solution_to_list(model: Model):
    solution = [symbol.arguments[0].number for symbol in model.symbols(shown=True)]
    solutions.append(solution)

control.ground(parts=[("base", [])])
result = control.solve(on_model=add_solution_to_list)

• solutions包含55个元素：
  • [[1], [2], [1, 2], [3], [1, 3], ... , [9, 10], [8, 9]]

我做错了什么？

Answer 1

在缓存Control对象时，应该添加命令行中的所有命令选项，而不是手动设置。

control = Control(arguments=[f"--models=0", "--opt-mode=optN", "--enum-mode=domRec", "--heuristic=Domain", "--dom-mod=5,16",])

如果您想以不同的方式发送它们，则必须使用Configurarion API：

https://potassco.org/clingo/python-api/5.5/clingo/configuration.html