Python bindings for Yices