diff options
Diffstat (limited to 'source/l/isl/slack-desc')
-rw-r--r-- | source/l/isl/slack-desc | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/source/l/isl/slack-desc b/source/l/isl/slack-desc new file mode 100644 index 000000000..8fdcd80e1 --- /dev/null +++ b/source/l/isl/slack-desc @@ -0,0 +1,19 @@ +# 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 +# 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: 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: +isl: |