installing gecode on ubuntu

September 7, 2012
bullet
apt-get install libgecode32 libgecode-doc libgecode-dev Alternatively, build from source, then run: ldconfig -v so that the shared libraries will be found.