pynusmv
tkCanvasGraph