ابزار منبع باز ه به شما م م ند برنامه ها منطق را اشال زدا ند Spock ابزار نمونه اوله برا اشال زدا برنامه ها منطق تحت معان اسخ است. Spock روش ها اشال زدا را برا برنامه ها زاره ا در Smodels ا Syntax DLV فراهم م ند. تن ها اده ساز به برنامه ها ASP-Meta-Programming ته م نند. الزامات: جاوا
Softwaresea.com جددترن مرز دانلود راان نرم افزار سبز را در داخل و خارج از شور، از جمله نرم افزار اموتر، الشن ال، الشن اندرود و سار دانلودها راان نرم افزار موبال اموتر ارائه م ند. ار م خواهد در مورد نرم افزار راان سبز بشتر بداند، آن را در softwaresea.com دانلود ند!