SpanTools 1.0
SpanTools este o aplicație open source, care poate verifica și de a defini sisteme, care sunt exprimate în rețele de articole cu tranziții și state.. SpanTools este capabil de a evalua Cospan (monoidale Grafic) expresii, precum și pentru a calcula...