Links for yices