This project is read-only.

VCC on multicores

Nov 22, 2011 at 3: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