The best way to use it is obviously to download it here and compile it. If you are in a rush you can try the official barvinok online interface or the version at compsys-tools.ens-lyon.fr which provides in addition the isl-indent format option for a better readability of the isl output. Update: Added link to official barvinok online interface.