Chương trình theo rwd.sf.net

Lý luận với phần mềm sơ đồ. Chứa trình soạn thảo sơ đồ, công cụ lập luận và khả năng bố trí. Bao gồm sơ đồ nhện, sơ đồ ràng buộc và sơ đồ euler.