add copyright statements

77 files changed, 687 insertions, 0 deletions

diff --git a/basis_reduction_tab.c b/basis_reduction_tab.c
index 0a4f1895..2f25889a 100644
--- a/basis_reduction_tab.c
+++ b/basis_reduction_tab.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include <assert.h>
 #include "isl_seq.h"
 #include "isl_tab.h"
diff --git a/basis_reduction_templ.c b/basis_reduction_templ.c
index 7d6e2e77..7f027a7f 100644
--- a/basis_reduction_templ.c
+++ b/basis_reduction_templ.c
@@ -1,3 +1,15 @@
+/*
+ * Copyright 2006-2007 Universiteit Leiden
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, Leiden Institute of Advanced Computer Science,
+ * Universiteit Leiden, Niels Bohrweg 1, 2333 CA Leiden, The Netherlands
+ * and K.U.Leuven, Departement * Computerwetenschappen, Celestijnenlaan 200A,
+ * B-3001 Leuven, Belgium
+ */
+
 #include <stdlib.h>
 #include "isl_basis_reduction.h"
 
diff --git a/include/isl_arg.h b/include/isl_arg.h
index 5fd1d032..965e9fb4 100644
--- a/include/isl_arg.h
+++ b/include/isl_arg.h
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #ifndef ISL_ARG_H
 #define ISL_ARG_H
 
diff --git a/include/isl_blk.h b/include/isl_blk.h
index a0a01e02..b6242c72 100644
--- a/include/isl_blk.h
+++ b/include/isl_blk.h
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #ifndef ISL_BLK_H
 #define ISL_BLK_H
 
diff --git a/include/isl_constraint.h b/include/isl_constraint.h
index bb8b6f87..54c60e64 100644
--- a/include/isl_constraint.h
+++ b/include/isl_constraint.h
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #ifndef ISL_CONSTRAINT_H
 #define ISL_CONSTRAINT_H
 
diff --git a/include/isl_ctx.h b/include/isl_ctx.h
index 60f3aacc..b2ecc3cc 100644
--- a/include/isl_ctx.h
+++ b/include/isl_ctx.h
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #ifndef ISL_CTX_H
 #define ISL_CTX_H
 
diff --git a/include/isl_dim.h b/include/isl_dim.h
index 5e1f71fe..86678b94 100644
--- a/include/isl_dim.h
+++ b/include/isl_dim.h
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #ifndef ISL_DIM_H
 #define ISL_DIM_H
 
diff --git a/include/isl_div.h b/include/isl_div.h
index f89b0d01..781f91e6 100644
--- a/include/isl_div.h
+++ b/include/isl_div.h
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #ifndef ISL_DIV_H
 #define ISL_DIV_H
 
diff --git a/include/isl_hash.h b/include/isl_hash.h
index c596b5e7..60dc7c9f 100644
--- a/include/isl_hash.h
+++ b/include/isl_hash.h
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #ifndef ISL_HASH_H
 #define ISL_HASH_H
 
diff --git a/include/isl_ilp.h b/include/isl_ilp.h
index 078e6600..1ae331bf 100644
--- a/include/isl_ilp.h
+++ b/include/isl_ilp.h
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #ifndef ISL_ILP_H
 #define ISL_ILP_H
 
diff --git a/include/isl_int.h b/include/isl_int.h
index 2a0876c1..5877adfe 100644
--- a/include/isl_int.h
+++ b/include/isl_int.h
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #ifndef ISL_INT_H
 #define ISL_INT_H
 
diff --git a/include/isl_list.h b/include/isl_list.h
index a5e9a441..0385a8bb 100644
--- a/include/isl_list.h
+++ b/include/isl_list.h
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #ifndef ISL_LIST_H
 #define ISL_LIST_H
 
diff --git a/include/isl_lp.h b/include/isl_lp.h
index 19a8c66d..1e70ba65 100644
--- a/include/isl_lp.h
+++ b/include/isl_lp.h
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #ifndef ISL_LP_H
 #define ISL_LP_H
 
diff --git a/include/isl_map.h b/include/isl_map.h
index b8e27d3d..dd1f2676 100644
--- a/include/isl_map.h
+++ b/include/isl_map.h
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #ifndef ISL_MAP_H
 #define ISL_MAP_H
 
diff --git a/include/isl_mat.h b/include/isl_mat.h
index 0b5cfffe..d627d99a 100644
--- a/include/isl_mat.h
+++ b/include/isl_mat.h
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #ifndef ISL_MAT_H
 #define ISL_MAT_H
 
diff --git a/include/isl_options.h b/include/isl_options.h
index d9b16ae4..e13eb006 100644
--- a/include/isl_options.h
+++ b/include/isl_options.h
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #ifndef ISL_OPTIONS_H
 #define ISL_OPTIONS_H
 
diff --git a/include/isl_seq.h b/include/isl_seq.h
index 241d5968..dee8bf81 100644
--- a/include/isl_seq.h
+++ b/include/isl_seq.h
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #ifndef ISL_SEQ_H
 #define ISL_SEQ_H
 
diff --git a/include/isl_set.h b/include/isl_set.h
index ebd28460..3c16bf75 100644
--- a/include/isl_set.h
+++ b/include/isl_set.h
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #ifndef ISL_SET_H
 #define ISL_SET_H
 
diff --git a/include/isl_vec.h b/include/isl_vec.h
index 796ce2b0..cc94c7c8 100644
--- a/include/isl_vec.h
+++ b/include/isl_vec.h
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #ifndef ISL_VEC_H
 #define ISL_VEC_H
 
diff --git a/isl_affine_hull.c b/isl_affine_hull.c
index 6bdd2797..cc99009b 100644
--- a/isl_affine_hull.c
+++ b/isl_affine_hull.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include "isl_ctx.h"
 #include "isl_seq.h"
 #include "isl_set.h"
diff --git a/isl_arg.c b/isl_arg.c
index 7854204d..3db185ea 100644
--- a/isl_arg.c
+++ b/isl_arg.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
diff --git a/isl_basis_reduction.h b/isl_basis_reduction.h
index 4b1187e9..8a00fb01 100644
--- a/isl_basis_reduction.h
+++ b/isl_basis_reduction.h
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #ifndef ISL_BASIS_REDUCTION_H
 #define ISL_BASIS_REDUCTION_H
 
diff --git a/isl_blk.c b/isl_blk.c
index 246b40d4..53465abb 100644
--- a/isl_blk.c
+++ b/isl_blk.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include "isl_blk.h"
 #include "isl_ctx.h"
 
diff --git a/isl_coalesce.c b/isl_coalesce.c
index 33399d92..ad602c21 100644
--- a/isl_coalesce.c
+++ b/isl_coalesce.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include "isl_map_private.h"
 #include "isl_seq.h"
 #include "isl_tab.h"
diff --git a/isl_constraint.c b/isl_constraint.c
index 1b54b3a0..54b2c440 100644
--- a/isl_constraint.c
+++ b/isl_constraint.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include <isl_constraint.h>
 #include "isl_seq.h"
 #include "isl_map_private.h"
diff --git a/isl_convex_hull.c b/isl_convex_hull.c
index c6f28069..b6343539 100644
--- a/isl_convex_hull.c
+++ b/isl_convex_hull.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include "isl_lp.h"
 #include "isl_map.h"
 #include "isl_map_private.h"
diff --git a/isl_ctx.c b/isl_ctx.c
index 940f51ae..ea9831f0 100644
--- a/isl_ctx.c
+++ b/isl_ctx.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include "isl_ctx.h"
 #include "isl_vec.h"
 
diff --git a/isl_dim.c b/isl_dim.c
index b0c99f95..c1689ada 100644
--- a/isl_dim.c
+++ b/isl_dim.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include "isl_dim.h"
 #include "isl_name.h"
 
diff --git a/isl_div.c b/isl_div.c
index df509801..a446b54e 100644
--- a/isl_div.c
+++ b/isl_div.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include <isl_div.h>
 #include <isl_map.h>
 #include "isl_map_private.h"
diff --git a/isl_equalities.c b/isl_equalities.c
index 549c1b8e..e09e1c6d 100644
--- a/isl_equalities.c
+++ b/isl_equalities.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include "isl_mat.h"
 #include "isl_seq.h"
 #include "isl_map_private.h"
diff --git a/isl_equalities.h b/isl_equalities.h
index 87d4672f..cc0cc257 100644
--- a/isl_equalities.h
+++ b/isl_equalities.h
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #ifndef ISL_EQUALITIES_H
 #define ISL_EQUALITIES_H
 
diff --git a/isl_gmp.c b/isl_gmp.c
index d40d2899..82b776dc 100644
--- a/isl_gmp.c
+++ b/isl_gmp.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include "isl_int.h"
 
 uint32_t isl_gmp_hash(mpz_t v, uint32_t hash)
diff --git a/isl_hash.c b/isl_hash.c
index 0323798a..220d5c2f 100644
--- a/isl_hash.c
+++ b/isl_hash.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include <stdlib.h>
 #include "isl_hash.h"
 #include "isl_ctx.h"
diff --git a/isl_ilp.c b/isl_ilp.c
index 0d57d6e0..5548ffe0 100644
--- a/isl_ilp.c
+++ b/isl_ilp.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include "isl_ilp.h"
 #include "isl_map_private.h"
 #include "isl_sample.h"
diff --git a/isl_input.c b/isl_input.c
index e56c4272..46d58191 100644
--- a/isl_input.c
+++ b/isl_input.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include <ctype.h>
 #include <stdio.h>
 #include <isl_set.h>
diff --git a/isl_input_omega.c b/isl_input_omega.c
index 4fe49bdb..200b4bbe 100644
--- a/isl_input_omega.c
+++ b/isl_input_omega.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include <ctype.h>
 #include <string.h>
 #include <strings.h>
diff --git a/isl_input_omega.h b/isl_input_omega.h
index 83c9f0e7..73b51693 100644
--- a/isl_input_omega.h
+++ b/isl_input_omega.h
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #ifndef ISL_INPUT_OMEGA_H
 #define ISL_INPUT_OMEGA_H
 
diff --git a/isl_list.c b/isl_list.c
index 9151cae3..e800076b 100644
--- a/isl_list.c
+++ b/isl_list.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include "isl_list.h"
 #include "isl_set.h"
 
diff --git a/isl_lp.c b/isl_lp.c
index c6feca46..8ce17288 100644
--- a/isl_lp.c
+++ b/isl_lp.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include "isl_ctx.h"
 #include "isl_lp.h"
 #include "isl_lp_piplib.h"
diff --git a/isl_lp_no_piplib.c b/isl_lp_no_piplib.c
index 1b6173ae..54c0135b 100644
--- a/isl_lp_no_piplib.c
+++ b/isl_lp_no_piplib.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include "isl_lp_piplib.h"
 
 enum isl_lp_result isl_pip_solve_lp(struct isl_basic_map *bmap, int maximize,
diff --git a/isl_lp_piplib.c b/isl_lp_piplib.c
index 823081be..dd7f5b45 100644
--- a/isl_lp_piplib.c
+++ b/isl_lp_piplib.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include "isl_map.h"
 #include "isl_vec.h"
 #include "isl_lp.h"
diff --git a/isl_lp_piplib.h b/isl_lp_piplib.h
index 2284e0dc..73dfaddc 100644
--- a/isl_lp_piplib.h
+++ b/isl_lp_piplib.h
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #ifndef ISL_LP_PIPLIB_H
 #define ISL_LP_PIPLIB_H
 
diff --git a/isl_map.c b/isl_map.c
index 0b08dcf7..7c50463f 100644
--- a/isl_map.c
+++ b/isl_map.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include <string.h>
 #include <strings.h>
 #include "isl_ctx.h"
diff --git a/isl_map_no_piplib.c b/isl_map_no_piplib.c
index 3c502261..c7b6eb37 100644
--- a/isl_map_no_piplib.c
+++ b/isl_map_no_piplib.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include "isl_map_piplib.h"
 #include "isl_set.h"
 
diff --git a/isl_map_piplib.c b/isl_map_piplib.c
index 55089e86..08a31049 100644
--- a/isl_map_piplib.c
+++ b/isl_map_piplib.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include "isl_set.h"
 #include "isl_map.h"
 #include "isl_mat.h"
diff --git a/isl_map_piplib.h b/isl_map_piplib.h
index 26833403..6c2594f5 100644
--- a/isl_map_piplib.h
+++ b/isl_map_piplib.h
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #ifndef ISL_MAP_PIPLIB_H
 #define ISL_MAP_PIPLIB_H
 
diff --git a/isl_map_private.h b/isl_map_private.h
index c242d8c5..18082e6d 100644
--- a/isl_map_private.h
+++ b/isl_map_private.h
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include "isl_set.h"
 #include "isl_map.h"
 #include "isl_vec.h"
diff --git a/isl_map_simplify.c b/isl_map_simplify.c
index 41fee622..8623e38a 100644
--- a/isl_map_simplify.c
+++ b/isl_map_simplify.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include "isl_equalities.h"
 #include "isl_map.h"
 #include "isl_map_private.h"
diff --git a/isl_map_subtract.c b/isl_map_subtract.c
index 6aafad39..c2cf09c6 100644
--- a/isl_map_subtract.c
+++ b/isl_map_subtract.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include "isl_seq.h"
 #include "isl_set.h"
 #include "isl_map.h"
diff --git a/isl_mat.c b/isl_mat.c
index 660ed234..a4b1ea6d 100644
--- a/isl_mat.c
+++ b/isl_mat.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include "isl_dim.h"
 #include "isl_seq.h"
 #include "isl_mat.h"
diff --git a/isl_name.c b/isl_name.c
index 2ef6cbe9..21b7ff7e 100644
--- a/isl_name.c
+++ b/isl_name.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include <string.h>
 #include "isl_name.h"
 
diff --git a/isl_name.h b/isl_name.h
index 8d2ffc47..5381c94e 100644
--- a/isl_name.h
+++ b/isl_name.h
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #ifndef ISL_NAME_H
 #define ISL_NAME_H
 
diff --git a/isl_options.c b/isl_options.c
index 4cf18fbb..dfebd3e2 100644
--- a/isl_options.c
+++ b/isl_options.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
diff --git a/isl_output.c b/isl_output.c
index 4406a04f..5a951ced 100644
--- a/isl_output.c
+++ b/isl_output.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include <isl_set.h>
 
 static void print_constraint_polylib(struct isl_basic_set *bset,
diff --git a/isl_piplib.c b/isl_piplib.c
index 7d625efa..e33b9812 100644
--- a/isl_piplib.c
+++ b/isl_piplib.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include "isl_piplib.h"
 
 void isl_seq_cpy_to_pip(Entier *dst, isl_int *src, unsigned len)
diff --git a/isl_piplib.h b/isl_piplib.h
index c07f437f..43136a8d 100644
--- a/isl_piplib.h
+++ b/isl_piplib.h
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #ifndef ISL_PIPLIB_H
 #define ISL_PIPLIB_H
 
diff --git a/isl_sample.c b/isl_sample.c
index fc1ce92f..ed627531 100644
--- a/isl_sample.c
+++ b/isl_sample.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include "isl_sample.h"
 #include "isl_sample_piplib.h"
 #include "isl_vec.h"
diff --git a/isl_sample.h b/isl_sample.h
index 23e5bfa0..4361e800 100644
--- a/isl_sample.h
+++ b/isl_sample.h
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #ifndef ISL_SAMPLE_H
 #define ISL_SAMPLE
 
diff --git a/isl_sample_no_piplib.c b/isl_sample_no_piplib.c
index 27cc6044..e2c7ea40 100644
--- a/isl_sample_no_piplib.c
+++ b/isl_sample_no_piplib.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include "isl_sample_piplib.h"
 
 struct isl_vec *isl_pip_basic_set_sample(struct isl_basic_set *bset)
diff --git a/isl_sample_piplib.c b/isl_sample_piplib.c
index 11acfa22..0ed40fc8 100644
--- a/isl_sample_piplib.c
+++ b/isl_sample_piplib.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include "isl_mat.h"
 #include "isl_vec.h"
 #include "isl_seq.h"
diff --git a/isl_sample_piplib.h b/isl_sample_piplib.h
index 25f23788..44292f5a 100644
--- a/isl_sample_piplib.h
+++ b/isl_sample_piplib.h
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #ifndef ISL_SAMPLE_PIP_H
 #define ISL_SAMPLE_PIP
 
diff --git a/isl_scan.c b/isl_scan.c
index 2b7711ae..b0aba409 100644
--- a/isl_scan.c
+++ b/isl_scan.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include "isl_basis_reduction.h"
 #include "isl_scan.h"
 #include "isl_seq.h"
diff --git a/isl_scan.h b/isl_scan.h
index d25e5b53..00971125 100644
--- a/isl_scan.h
+++ b/isl_scan.h
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #ifndef ISL_SCAN_H
 #define ISL_SCAN_H
 
diff --git a/isl_seq.c b/isl_seq.c
index 7c9459ad..474f9bec 100644
--- a/isl_seq.c
+++ b/isl_seq.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include "isl_seq.h"
 
 void isl_seq_clr(isl_int *p, unsigned len)
diff --git a/isl_stream.c b/isl_stream.c
index 9277e476..be5eee23 100644
--- a/isl_stream.c
+++ b/isl_stream.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include <ctype.h>
 #include <string.h>
 #include <strings.h>
diff --git a/isl_stream.h b/isl_stream.h
index f445fc66..18b559fc 100644
--- a/isl_stream.h
+++ b/isl_stream.h
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #ifndef ISL_STREAM_H
 #define ISL_STREAM_H
 
diff --git a/isl_tab.c b/isl_tab.c
index 0666d6b6..55f9c48e 100644
--- a/isl_tab.c
+++ b/isl_tab.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include "isl_mat.h"
 #include "isl_map_private.h"
 #include "isl_tab.h"
diff --git a/isl_tab.h b/isl_tab.h
index d5d9ff83..6dde5925 100644
--- a/isl_tab.h
+++ b/isl_tab.h
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #ifndef ISL_TAB_H
 #define ISL_TAB_H
 
diff --git a/isl_tab_pip.c b/isl_tab_pip.c
index c796505a..9e0e8d3a 100644
--- a/isl_tab_pip.c
+++ b/isl_tab_pip.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include "isl_map_private.h"
 #include "isl_seq.h"
 #include "isl_tab.h"
diff --git a/isl_test.c b/isl_test.c
index 643f8cc4..aabfcc0b 100644
--- a/isl_test.c
+++ b/isl_test.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include <assert.h>
 #include <stdio.h>
 #include <limits.h>
diff --git a/isl_vec.c b/isl_vec.c
index 4b30ce15..a7948d8a 100644
--- a/isl_vec.c
+++ b/isl_vec.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include "isl_seq.h"
 #include "isl_vec.h"
 
diff --git a/pip.c b/pip.c
index f11160b5..ae92a81d 100644
--- a/pip.c
+++ b/pip.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include <assert.h>
 #include <string.h>
 #include "isl_set.h"
diff --git a/piplib b/piplib
deleted file mode 160000
-Subproject 9d2659986737e1155f7e316d7bfe9ad9a1173b8
diff --git a/polyhedron_detect_equalities.c b/polyhedron_detect_equalities.c
index a4662228..77708624 100644
--- a/polyhedron_detect_equalities.c
+++ b/polyhedron_detect_equalities.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include "isl_set.h"
 
 int main(int argc, char **argv)
diff --git a/polyhedron_minimize.c b/polyhedron_minimize.c
index 4dc0c064..16ab1383 100644
--- a/polyhedron_minimize.c
+++ b/polyhedron_minimize.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include <assert.h>
 #include "isl_set.h"
 #include "isl_vec.h"
diff --git a/polyhedron_sample.c b/polyhedron_sample.c
index 12b53808..d4b00ac6 100644
--- a/polyhedron_sample.c
+++ b/polyhedron_sample.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include <assert.h>
 #include "isl_sample.h"
 #include "isl_vec.h"
diff --git a/polytope_scan.c b/polytope_scan.c
index dc57cca4..d6b477e1 100644
--- a/polytope_scan.c
+++ b/polytope_scan.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2008-2009 Katholieke Universiteit Leuven
+ *
+ * Use of this software is governed by the GNU LGPLv2.1 license
+ *
+ * Written by Sven Verdoolaege, K.U.Leuven, Departement
+ * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
+ */
+
 #include <assert.h>
 #include "isl_equalities.h"
 #include "isl_seq.h"