Quint Visualizer: a GraphViz-like visualizer for Quint traces

1 points | by todsacerdoti 11 hours ago