diff options
Diffstat (limited to 'source/l/isl/slack-desc')
-rw-r--r-- | source/l/isl/slack-desc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/l/isl/slack-desc b/source/l/isl/slack-desc index f96ea71e9..0fb15f177 100644 --- a/source/l/isl/slack-desc +++ b/source/l/isl/slack-desc @@ -14,6 +14,6 @@ isl: the sets and relations may involve both parameters and existentially isl: quantified variables. All computations are performed in exact integer isl: arithmetic using GMP. isl: -isl: Homepage: http://isl.gforge.inria.fr +isl: Homepage: https://libisl.sourceforge.io isl: isl: |