Edit this page

ISCC Online Demonstrator

iscc is the command line tool provided with barvinok that exhibit, among others, most of isl functionalities. 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.

Alexandre Isoard