DM826 - Modeling and Solving Constrained Optimization Problems

In Linux:

• download using the svn command given in the download page.
• Enter the directory. Run ./configure and make.
  The make command will take a while. If it runs without errors then you are ready to work.
• Eventually you encounter problems due to missing qt libraries. You should install them in your system. In ubuntu you can do this via Synaptic or apt-get. The packages you may need are libqtcore4 and qt4-qmake (but check for newer versions, eg, qtN, N>4.
• Enter in the directory examples/ and start working with them. To compile them read section 2.3.3 that you find in the manual of Gecode linked below or use this Makefile The makefile should already handle the dynamic linking via rpath. Alternatively you have to set: export LD_LIBRARY_PATH=${LD_LIBRARY_PATH}:${GECODE_HOME}.
  You can set your command in the shell profile for not to having to type it in every time.

In MacOsX:

• If you need to use gecode minizinc, it is advisable to install gecode from the sources and hence to follow the same steps as for linux above.
• If you choose to install via .dmg, then download the dmg file and install it. There will be a gecode.framework installed in your system under /Library/Frameworks/. You will also see a directory C++ Examples from where you can start working. Compile the examples as described in the Manual linked below in section 2.3.2. If you have MacOsX < 10.8 then you will need to install the sources and work as explained above for linux and in sections 2.3.3 of the manual. In any case remember to set like for linux the path for the dynamic linking, which for MacOs has to be done as: export DYLD_LIBRARY_PATH=${LD_LIBRARY_PATH}:${GECODE_HOME}.
  You can set your command in the shell profile for not having to type it in every time.