You can find the sources and executables of MGS on the Spatial Computing web page available here for Linux, Windows and Mac. A tutorial is available here.

Don't forget to bookmark the manual pages and do not hesitate to contact us in case of any questions.

Recent downloads by

• M. Griesemer at UCSB
• I. Hedayati (iraj dot hedayati at gmail dot com)
• D. M. DeWeese (dustin dot deweese aT gmail dOt com),
• H. Schmidt (heinz at schmidt dot net dot au),
• O. Spiroski (ognen DoT spiroski at studenti dOt unitn dOt it),
• D. Thayer (dpthayer at gmail dOt com),
• J. P. Twycross (jpt at Cs dOt Nott dOt AC dOt UK),
• D. Nizzica (davidn aT libero dot it),
• P. Barbier de Reuille (pierre dot barbier at cirad dOt fr),
• P. Kristian Lehre (Per dot Kristian dot Lehre at idi dot ntnu dot no),
• Virgil A. (virgilz at comcast dot net),
• D. Pollet (pollet dot damien at free dot fr),
• V. Chakravarthy (v_chak at yahoo dot com),
• D. Dembeck (dembeck at geeky dot net - CPSC - U. of Calgary),
• Simmess (simmess at aries dot tucson dot saic dot com)

Imoview allows you to visualize the graphical output of MGS's programs. It is a scene-based language that interprets commands defining graphical objects and their evolution:

• a compiled version for linux and a version for Ubuntu Hardy,
• the sources of the second version of Imoview,
• the sources of Imoview's first version.

GBview allows you to visualize the graphical output of MGS's programs running on lattices (euclidian or hexagonal):

• GBview statically linked for Linux and its sources.

You can find a distributed version of the Mercure environment for the amalgams formalism, running under Linux and written in OCaml.

To be filled…

In the past, I have written a lot of code. Among these lines, one can find

• a package for (RO)BDD in Ocaml; the ml file and its interface