From cda89be7fd7a3ecdc3ea35382624d5f0f377e4e9 Mon Sep 17 00:00:00 2001 From: Jan F. Chadima Date: Sun, 3 Dec 2017 23:36:30 +0000 Subject: libraries/isl: Added (Integer point manipulation library). Signed-off-by: David Spencer --- libraries/isl/slack-desc | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 libraries/isl/slack-desc (limited to 'libraries/isl/slack-desc') diff --git a/libraries/isl/slack-desc b/libraries/isl/slack-desc new file mode 100644 index 0000000000..8bd67300f0 --- /dev/null +++ b/libraries/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 ':' except on otherwise blank lines. + + |-----handy-ruler------------------------------------------------------| +isl: isl (Integer point manipulation library) +isl: +isl: isl is a library for manipulating sets and relations of integer +isl: points bounded by linear constraints. +isl: +isl: Homepage: http://isl.gforge.inria.fr/ +isl: +isl: +isl: +isl: +isl: -- cgit v1.2.3