ulkb.Object.to_z3

Object.to_z3(**kwargs)

Converts object to Z3 value.

Parameters:

kwargs – Options to converter.

Returns:

The resulting Z3 value.