sci-mathematics/z3 python