A Python binding for ibex-lib