Mantık programlarını hata ayıklamanıza yardımcı olacak açık kaynak programı SPOCK, Cevap Seti anlambiliminde mantık programlarını hata ayıklamak için bir prototip aracıdır. Spock, SModels veya DLV sözdiziminde önerme programları için hata ayıklama yöntemleri sağlar. Uygulanan teknikler ASP-Meta-Programlamasına dayanır. Gereksinimler: · Java
softwaresea.com, bilgisayar yazılımı, elma uygulaması, Android uygulaması ve diğer ücretsiz bilgisayar mobil yazılım indirmeleri dahil olmak üzere yurtiçinde ve yurtdışında en yeni yeşil ücretsiz yazılım indirme merkezini sağlar. Yeşil özgür yazılım hakkında daha fazla bilgi edinmek istiyorsanız, softwaresea.com adresinden indirin!