AutoAbacus bir snap ilə müəyyən edən tənlik həll tapır güclü tənlik həll kitabxanadır. AutoAbacus bütün məhdudiyyətləri təmin bir çözüm tapmaq üçün çalışır isə tənliklər toplusu, mətn kimi qəbul edilə bilər. tənliklər yalnız xətti olmaq məhdud deyil, həm...

Gaffr

Gaffr 1.0

Gaffr.net mühəndis mövcud məlumat bazaları ləğv edə bilər, bir modelləşdirilməsi və prototip alət bir UML sinif modeller var, bir UML-dövlət maşın modeller var, siz dövlət maşın, o cümlədən model icra imkan verir, sıxıntı və sorğu dil kimi standart OCL...