I followed these instructions: https://github.com/roukaour/polishedcrystal/blob/master/INSTALL.md
However, they are a bit outdated, so in the Cygwin terminal you have to type instead:
git clone --recursive https://github.com/roukaour/polishedcrystal
cd polishedcrystal
make
Then you have to wait...