Top Software Pro Filippo Schiavio
SpanTools je open source aplikace, která může kontrolovat a definovat systémy, které jsou vyjádřeny jako sítí položky s přechody a států., SpanTools je schopen vyhodnotit Cospan (Monoidal grafu) výrazy, jakož i pro výpočet monoidal graf výrazu ...