Gravel ist ein Programm, dessen Hauptfeatures im Bereich Visualisierung von Graphen liegen. Ziel ist es, dem Benutzer ein Bild seines Graphen erstellen zu lassen. Vorerst umfasst dies eine möglichst einfache und effiziente Bedienung, die schnell zu ansehnlichen Darstellungen führt.
Die erstellten Graphen sind dann zunächst intern wiederverwendbar, denn sie können im GravelML-Format gespeichert werden. Zusätzlich existieren Export-Funktionen, die einerseits eine Pixelgrafik (im PNG-Format) andererseits Vektorgrafiken (für LaTeX) erzeugen.
Geplant ist (langfristig) dem Benutzer algorithmische Hilfen zu bieten, Bilder von Graphen nach bestimmten Kriterien automatisiert zu erstellen, etwa ausgehend von einer Adjazenzmatrix unter Wissen bestimmter Eigenschaften des Graphen. Auch beim Export sollen weitere Möglichkeiten geschaffen werden, wie etwa SVG oder TikZ zu unterstützen.
Diese Dokumentation ist noch im Aufbau, geplant sind die Bereiche
Diese Struktur möchte ich in nächster Zeit mit Inhalt füllen, wer Lust hat eigene Texte beizusteuern, da freue ich mich stets drüber, wenn ich die dann an meine Vorstellungen ein wenig anpasse, bitte ich um Nachsicht, denn die gesamte Dokumentation soll ja, wenn möglich in einem einheitlichen Stil (sowohl textuell als auch vom Layout her) entstehen.