ulkb.Object.from_z3

classmethod Object.from_z3(value, **kwargs)

Converts Z3 value to object.

Parameters:

• value – Z3 value.

• kwargs – Options to converter.

Returns:

The resulting Object.