AutoAbacus bir çırpıda denklem setleri çözüm bulur güçlü bir denklem çözme kütüphane. AutoAbacus tüm kısıtlamalar karşılayan bir çözüm bulmak için çalışır durumdayken bir dizi denklem, metin olarak kabul edilebilir. Sadece doğrusal denklemler ile sınırlı...

Gaffr

Gaffr 1.0

Gaffr.net mühendisi varolan veritabanları ters olabilir, bir modelleme ve prototip aracı olan bir UML sınıf modeller içeren, bir UML devlet makine modelcisi içeriyorsa, eyalet makineleri dahil modeli yürütmek sağlar, kısıtlama ve sorgu dili olarak...