FErari 1.0.0

Se tarjoaa myös toimii optimoimalla taustaosa FFC. Mikä on uusi tässä julkaisussa: Minor päivitys poistaa nollat ​​abstraktia syntaksia ja käyttää unaarinen suhteita (lukumäärä nollasta poikkeavien alkioiden) sekä binary suhteista. vaatimukset...