Tarafından Programlar rwd.sf.net

Diyagramyazılımı ile muhakeme. Bir diyagram düzenleyicisi, muhakeme araçları ve düzen yetenekleri içerir. Örümcek diyagramlarını, kısıtlama diyagramlarını ve euler diyagramlarını kapsar.