Yirmiuc / clasp

conflict-driven nogood learning answer set solver



Diğer Pardus sürümlerindeki versiyonlar
Pardus Paket Versiyon
ondokuz clasp 3.3.4-2
yirmibir clasp 3.3.5-4