Mozart-Gecode is a software result of the GeOz project. It consists of a Mozart version that uses Gecode as the underlying constraint engine.


In the mid term we plan Mozart-Gecode to be integrated in the official release of Mozart. To achieve that there is a lot of work to do and we encourage people to get involved in this project.


User documentation

Not yet available.

Design documents

In progress.



You can download them from the subversion repository:

svn checkout

To build from sources:

  1. Download Gecode. These sources are known to work with version 1.3.0.
  2. Install gecode in your system. For this, follow the instructions described in INSTALL.
  3. cd to the mozart source's directory and run ./configure –prefix=/path/to/install –with-gecode=/gecode/installation/path
  4. Run make and make install as usual

Binary distributions

At this moment we only offer source code distribution. We plan to provide some binaries for the most common platforms soon.


Feedback is highly appreciated, if you download and test this software and something goes wrong or you have some feature request, please do not hesitate to contact us.

Contact information

  • ggutierrez @a.t@
  • adelgado @a.t@
  • aarbelaez @a.t@
grupos/avispa/mozart-gecode.txt · Última modificación: 2011/01/24 15:30 (editor externo)
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki