VCC on multicores

Nov 22, 2011 at 2:23 PM

Dear All,

I am using VCC on visual studio 2010 ultimate. But I want VCC to use z3 on multicores. How can I achieve this?

Thanks in advance,

Omer Subasi