Diferencias

Muestra las diferencias entre dos versiones de la página.

Enlace a la vista de comparación

grupos:avispa:geoz [2011/11/03 13:04]
farhat
grupos:avispa:geoz [2011/11/03 13:12] (actual)
farhat
Línea 1: Línea 1:
 +==== The GeOz Project ====
 +----
 +
 +=== Objective ===
 +The main goal of this project is to integrate Gecode as the Mozart constraint services provider, namely, to replace the Mozart constraint layer with Gecode and take advantage of its advanced features like batch recomputation.
 +
 +=== Current State === 
 +At this time we have a working version of Mozart that uses Gecode for constraint programming. The user can program a constraint problem solution in the usual Mozart way and use the built-in search engines to obtain a solution. This implementation is in an alpha state and much of the Mozart semantics are not yet supported. We are currently working on make it work with several guidelines in mind:
 + 
 +  * A clear design
 +  * Efficience
 + 
 +
 +=== Involved Organizations ===
 +  * Université catholique de Louvain
 +  * Pontificia Universidad Javeriana
 +  * Universidad del Valle
 +
 +
 +=== Software ===
 +This version of Mozart is maintained as a branch of the Mozart repository. You can check it out the sources by doing:
 +
 +<code bash>
 +svn checkout https://gforge.info.ucl.ac.be/svn/mozart/branches/mozart-gecode
 +</code>
 +
 +=== Installation Instructions ===
 +
 +== Gecode Installation ==
 +
 +  - Download and install the [[http://www.gecode.org|Generic Constraint Development Environment]]. -We currently support version 2.2.0-.
 +  - Follow the instructive directives for installing Gecode in your system.
 +  
 +== Mozart Installation ==
 +<code bash>
 +svn checkout https://gforge.info.ucl.ac.be/svn/mozart/branches/mozart-gecode
 +cd mozart-gecode/mozart
 +./configure --prefix=/usr --disable-contrib-micq
 +make && make install
 +</code>
 +If Gecode was installed in a non-standard prefix you should do the following:
 +<code bash>
 +export LD_LIBRARY_PATH=path/to/your/gecode/installation/lib
 +export PKG_CONFIG_PATH=path/to/your/gecode/installation/lib/pkgconfig
 +</code>
 +If you have another distribution of Mozart you can change the installation directories without no problem. Just remember to include the right Mozart version when using from the OPI. An example of a .emacs file should be:
 +<code lisp>
 +(add-to-list 'load-path "/path/where/mozart-gecode/was/installed/share/elisp")
 +(require 'oz)
 +</code>
 +There are some examples of classical problems in constraint programming in the mozart-gecode/mozart/share/examples/{gfd,gfs} directories. At this time we have tested this in Linux and Mac OS X.
 +
 +
 +== Main Developers ==
 +  * Raphael Collet
 +  * Gustavo Gutiérrez: ggutierrez **__at__** cic.javerianacali.edu.co
 +  * Víctor Rivera: varivera **__at__** javerianacali.edu.co
 +  * Gustavo A. Gómez: farhat **__at__** cic.javerianacali.edu.co
 +  * Andrés F. Barco:  anfelbar **__at__** univalle.edu.co
 +
 +== Former Developers ==
 +  * Alberto Delgado: adelgado **__at__** cic.puj.edu.co
 +  * Alejandro Arbelaez: aarbelaez **__at__** cic.puj.edu.co
 +
 +
 +== Contributors ==
 +  * Kevin Glyn
 +
 +
 +=== Links ===
 +  * [[http://www.mozart-oz.org|The Mozart Programming System]]
 +  * [[http://www.gecode.org|The Generic Constraint Development Environment]]
 +
  
 
grupos/avispa/geoz.txt · Última modificación: 2011/11/03 13:12 por farhat
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki