Python wrapper for SCIP using cffi