ulkb.Object.to\_z3
==================

.. currentmodule:: ulkb

.. automethod:: Object.to_z3