SpanTools 1.0
SpanTools to aplikacja open source, które mogą sprawdzić i systemów, które są wyrażone jako sieci przedmiotów z przejściami i państw zdefiniować.. SpanTools jest w stanie ocenić Cospan (Monoidal wykres) wyrażenia, a także obliczyć monoidal wykres wyraz ...