GitHub repository: wadoon/smvceviz
Primary language: Python
Description: Visualize the Traces of NuSMV and NuXMV