Programmi di rwd.sf.net

Ragionamento con i software per diagrammi. Contiene un editor di diagrammi, strumenti di ragionamento e funzionalità di layout. Copre diagrammi a ragno, diagrammi a vincoli e diagrammi di eulero.