aall-ergo

aall-ergo anedi ganita suutraala kosam svayamchaalaka parishkaram, idhi pratyaekamgaa programme dhruvikarana kosam roopondinchabadindi. idhi santruptikaramaina maadyulo siddhaantaalapai (smt) aadharapadi untundi mariyu open soars licenses (sisil-sii) kinda pampinhee cheyabadutundi. alt-ergo nuu laboratoire dii research enn informatic, inria sackley ail-dii-france mariyu cnrs parisoedhakulu abhivruddhi chesaaru. 2013 nundi aall-ergonu okaamlpro company paryaveekshistoondi.
saanketikata.
design empikalu.
chaalaa smt parishkaaraalaku viruddhamgaa, alt-ergo prenex polymorphismtho oka nirdishta input bhashanu upayogistundi. idhi parimaanaatmaka suutraala sankhyanu mariyu samasyala sanklishtatanu tagginchadaaniki sahaayapadutundi. idhi paakshikamgaa smt-lib 2 bhashaku kooda maddatu istundi, conny smt faillapai takkuva samarthavantamgaa panichestundi.
pradhana bhagalu.
aall-ergo yokka pradhana bhaagam moodu bhaagaalato tayaaru cheyabadindihi oka dfs-aadhaarita saat salver, ii-matching aadhaaramgaa quantifiers instantiation injin mariyu antarnirmita siddhaantaala samiti kosam nirnaya vidhaanaala kalayika.
antarnirmita siddhaantaalu.
eee krindi siddhaantaala kosam aall-ergo (semee-) nirnaya vidhaanaalanu amalu chestundih
paarisraamika upayogaalu.
alt-ergo paina nirminchina aneka dhruvikarana vedikalu unnaih

