[gecode-users] Version of gecode

[Mauricio Toro]

How can I know which version of Gecode I have installed?
Right know I am checking if the library filenames end up with 10, 9 10.0
but it is kind of messy.

Thanks

-- 
Mauricio Toro Bermudez
Estudiante de Ingeniería de Sistemas
Pontificia Universidad Javeriana, Colombia

Stagiare à l'Ircam
1, place Igor-Stravinsky 75004 Paris,
France de 2008 à 2009