Program menurut rwd.sf.net

Penalaran dengan perangkat lunak diagram. Berisi editor diagram, alat penalaran, dan kapabilitas tata letak. Mencakup diagram laba-laba, diagram batasan, dan diagram euler.