[gecode-users] Gecode headers not found

[Guido Tack]

Yannick Parmentier:
>>> Apart from tweaking Qt-creator, I am considering another option: to install a virtualization machine (such as bochs) with linux + Qt-SDK on it.
>> 
>> I have never tried bochs, but I can recommend VirtualBox.
> 
> Thanks for the pointer. VirtualBox seems great, alas the open source version does not come as a binary, and its compilation depends on (too) many requirements. 

I use the binary, its under a "free for personal and academic use" license.

Cheers,
	Guido