ISL
isl is a library for manipulating sets and relations of integer points bounded by linear constraints.
Note
This is an autogenerated page, more detail including examples may be available for this package. Please see the first section of Software on Stanage
After connecting to Stanage (see Establishing a SSH connection), start an interactive session with the following command:
srun --pty bash -i
A version of ISL can then be made available with one of the following:
module load ISL/0.24-GCCcore-11.3.0
module load ISL/0.24-GCCcore-11.2.0
module load ISL/0.23-GCCcore-10.3.0
Notes
ISL was installed using Easybuild, build details can be found in $EBROOTISL/easybuild
with a given module loaded.