34#ifndef __GECODE_GIST_GECODELOGO_HH_
35#define __GECODE_GIST_GECODELOGO_HH_
const unsigned int logoSize
Size of the Gecode logo.
const unsigned char * logo
The Gecode logo.
const unsigned int gistLogoSize
Size of the smaller logo.
const unsigned char * gistLogo
A smaller logo used as a window icon.
The Gecode Interactive Search Tool.
Gecode toplevel namespace