verify.c: extract some helper functions for isl based verification
[barvinok/uuh.git] / AUTHORS
blob9b78d7bd2c115c1b5155787cdbad5f2659f84024
1 Most of the barvinok library was written by
3             Sven Verdoolaege
4 2003-2005   K.U.Leuven
5             Departement Computerwetenschappen
6             Celestijnenlaan 200A
7             B-3001 Leuven
8             Belgium
9 2005-2007   Leiden Institute of Advanced Computer Science
10             Universiteit Leiden
11             Niels Bohrweg 1
12             2333 CA Leiden
13             The Netherlands
14 2008-2009   K.U.Leuven
15             Departement Computerwetenschappen
16             Celestijnenlaan 200A
17             B-3001 Leuven
18             Belgium
19 2010        INRIA Saclay - Ile-de-France
20             Parc Club Orsay Universite, ZAC des vignes, 4 rue Jacques Monod
21             91893 Orsay
22             France
24 The bernstein library was written by Federico Fernandez and Sven Verdoolaege.
26 Some code was copied from PolyLib.  See evalue.c