stp.Options

class stp.Options(*positional_pairs, **kwargs)

Mapping-like access to the registry. A key is the registry name or its python_key (‘-’ and ‘.’ become ‘_’; timeout is an alias of max_time). Values are validated at write time; durations take an int of milliseconds, a timedelta, or a string with a unit (“500ms”, “0.5s”); a mode option takes True/False or “auto”/”on”/”off”; a set option a list of names.

Options(**kwargs) is a standalone value; Solver.options is the live view of a solver, where the entry’s Settable window is enforced.

property live

True for a solver’s live view.

__setitem__(key, value)

set(*positional_pairs, **kwargs)

set(“max-time”, 500) / set(“max-time”, 500, “random-seed”, 7) / set(max_time=500) / set({“max-time”: 500}); z3py’s timeout= is an alias of max_time.

set_args(*argv)

CLI syntax: “–fp-abstraction”, “–max-time=500ms” (durations need a unit here).

reset(name=None)

__getitem__(key)

get(name, default=None)

resolved(name)

is_set(name)

__contains__(key)

__iter__()

__len__()

keys()

items()

info(name)

static names(tier=None)

static help(tier=None)

resolve()

copy()

__eq__(other)

Return self==value.