diff options
Diffstat (limited to 'source/l/isl/slack-desc')
| -rw-r--r-- | source/l/isl/slack-desc | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/source/l/isl/slack-desc b/source/l/isl/slack-desc index 8fdcd80e1..f96ea71e9 100644 --- a/source/l/isl/slack-desc +++ b/source/l/isl/slack-desc @@ -1,17 +1,17 @@ # HOW TO EDIT THIS FILE: # The "handy ruler" below makes it easier to edit a package description. Line # up the first '|' above the ':' following the base package name, and the '|' -# on the right side marks the last column you can put a character in. You must -# make exactly 11 lines for the formatting to be correct. It's also +# on the right side marks the last column you can put a character in. You must +# make exactly 11 lines for the formatting to be correct. It's also # customary to leave one space after the ':'. |-----handy-ruler------------------------------------------------------| isl: isl (Integer Set Library) isl: isl: isl is a thread-safe C library for manipulating sets and relations -isl: of integer points bounded by affine constraints. The descriptions of +isl: of integer points bounded by affine constraints. The descriptions of isl: the sets and relations may involve both parameters and existentially -isl: quantified variables. All computations are performed in exact integer +isl: quantified variables. All computations are performed in exact integer isl: arithmetic using GMP. isl: isl: Homepage: http://isl.gforge.inria.fr |