GitHub repository: pfg666/dot-trimmer
Primary language: Java
Description: A java tool for trimming/improving the looks of .dot models using Graphviz and automatalib libraries.