parker/count_solutions.cc: fix treatment of existentially quantified variables
[barvinok.git] / zsolve / banner.h
blob39de2ea011f613564f8ca5fdcb3080e54adf331d
1 #define FORTY_TWO_BANNER \
2 "-------------------------------------------------\n\
3 4ti2 version " "1.3.1+autoconf-0.1" ", Copyright (C) 2006 4ti2 team.\n\
4 4ti2 comes with ABSOLUTELY NO WARRANTY.\n\
5 This is free software, and you are welcome\n\
6 to redistribute it under certain conditions.\n\
7 For details, see the file COPYING.\n\
8 -------------------------------------------------\n\