Added Yices solver