Vega is a system for manipulating discrete mathematical structures. The ongoing project is located at the Department of Theoretical Computer Science at IMFM.
See
http://vega.ijp.si/Htmldoc/vega03
All Wikipedia text
is available under the
terms of the GNU Free Documentation License