clingo.config
Functions and classes related to configuration.
Examples
The following example shows how inpsect the configuration and modify it to enumerate all models:
>>> from clingo.core import Library
>>> from clingo.control import Control
>>>
>>> lib = Library()
>>> ctl = Control(lib)
>>> ctl.config.attributes
['tester', 'solve', 'asp', 'solver', 'configuration', 'share',
'learn_explicit', 'sat_prepro', 'stats', 'parse_ext', 'parse_maxsat']
>>> ctl.config.solve.attributes
['solve_limit', 'parallel_mode', 'global_restarts', 'distribute',
'integrate', 'enum_mode', 'project', 'models', 'opt_mode', 'opt_stop']
>>> str(ctl.config.solve)
"""\
solve_limit: "umax,umax"
parallel_mode: "1,compete"
global_restarts: "no"
distribute: "no,conflict,global,4,4194303"
integrate: "gp,1024,all"
enum_mode: "auto"
project: "no"
models: "-1"
opt_mode: "-1,opt"
opt_stop: "-1,opt,no"\
"""
>>> ctl.config.solve.models.description
"Compute at most %A models (0 for all)"
>>> ctl.config.solve.models = 0
>>> ctl.parse_string("1 {a; b}.")
>>> ctl.ground()
>>> with ctl.solve(on_model=print) as hnd:
... print(hnd.get())
b
a
a b
SAT
class
Config:
Allows for changing the configuration of the underlying solver.
Options are organized hierarchically. To get or change the value of an option
(identified by is_value) use:
config.group.subgroup.option = "value" # variant 1 (short)
config.group.subgroup.option.value = "value" # variant 2
value = config.group.subgroup.option.value
There are also sequences of option groups (identified by is_sequence):
config.group.subgroup[0].option = "value1"
config.group.subgroup[1].option = "value2"
Use the attributes member to list subgroups of an option group. Meta options
with key configuration set multiple related options when assigned. Use
description for more information about an option or option group.
Notes:
- The first element of a sequence can be accessed directly without index 0.
- Config objects have a YAML-like string representation for inspection.
- In string representations of sequences, attributes (for index 0) are only added if the sequence is empty.
- Option values are always strings; assigned values are automatically converted to strings.