Links for yices-solver