Links for z3slim