Installing Korat on Windows

While installing Korat make sure that you add an environment variable KORAT_CPand set it to

Moreover, while running Korat examples from command line use a command similar to the one below:

-noverify  is necessary otherwise you shall get the following error:

 

Installing cilk and compiling examples in Ubuntu 14.04 LTS