[Gems-users] OPAL+SMT

[arrvindh shriraman <arrvindh_shriraman@xxxxxxxxx>]

Hi all,

I am a new user to Gems. I am also a first year
graduate student from university of rochester and
working with CMP of SMTs

(1) Does Gems currently support SMT.
(2) If no, I would like to get started on making this
module happen. I would be thankful if someone can
point me out to how to proceed and design ground up.

With Regards,

Arrvindh Shriraman
Conputer Science Department
University of Rochester


		
____________________________________________________ 
Yahoo! Sports 
Rekindle the Rivalries. Sign up for Fantasy Football 
http://football.fantasysports.yahoo.com