Yices2

This package is under construction :) check back in two weeks!