SpanTools

SpanTools 1.0

SpanTools on avoimen lähdekoodin sovellus, joka voi tarkistaa ja määritellä järjestelmiä, jotka ilmaistaan ​​verkostoja kohteita siirtymiä ja valtioiden.SpanTools osaa arvioida Cospan (Monoidal kaavio) ilmaisuja, sekä laskea monoidal kuvaaja ilmaisua. ...

Lue lisää