GitHub repository: tl-sapienza/hoa2dot
Created: 2019-11-26T14:38:21Z
Description: HOA format to Graphviz DOT translator (and vice versa)