Links for dreal