SpanTools 1.0
در SpanTools یک برنامه منبع باز است که می توانید بررسی و تعریف سیستم، که به عنوان شبکه از اقلام با انتقال و ایالات بیان است.SpanTools قادر به ارزیابی Cospan (Monoidal نمودار) عبارات، و همچنین به عنوان برای محاسبه گراف monoidal از بیان است مورد نیاز:. جاوا 2 نسخه استاندارد محیط زمان...