Programy według rwd.sf.net

Rozumowanie z oprogramowaniem diagramów. Zawiera edytor diagramów, narzędzia do rozumowania i możliwości układu. Obejmuje diagramy pająków, diagramy ograniczeń i diagramy eulera.