Ein Editor für Graphen

Willkommen auf der Homepage von Gravel.
Die Software Gravel ist ein Editor für Graphen. Er ist in Java programmiert und bietet eine einfache Mögichkeit, eine Darstellung für einen Graphen zu erstellen und danach etwa in LaTeX zu verwenden.

Zur neusten Version
Die neuste Version ist Gravel 0.4 vom 20.09.2009

Der Name Gravel
Der Name Gravel enthält sowohl den Graphen, als auch deren Visualisierung und Evaluation. das l entstammt dem englischen verb to unravel, das im Deutschen entwirren oder enträtseln bedeutet. Gravel selbst ist das englische Wort für Kies oder kleinere Flußsteine. Kleine Steine im Fluss liegen quer durcheinander, bis die Strömung sie nach ihrem Gewicht sortiert, also ebenso entwirrt.

Logo

Das Logo verdeutlicht das Einsatzgebiet von Gravel. Der Graph folgt dabei in seiner Gestaltung dem G des Schriftzuges, was bei späteren Versionen die Visualisierung und Bildfindung verdeutlichen soll. Außerdem findet durch die Veränderung des Buchstabens G in der Mitte der Name Gravel selbst Platz im Icon.