Gravel

Logo der Editors Gravel

Die Software Gravel ist ein Editor für Graphen, der im Rahmen meiner Diplomarbeit entstanden ist. 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.

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.

aktuelle Version

Momentan wird der Editor nicht weiter entwickelt. Die letzte Version ist Gravel 0.4 vom 20. September 2009. Gravel ist als Java Application verfügbar, sowie für Mac OS auch als Application Bundle verfügbar. der Sourcecode liegt auf GitHub.