回答集程序(Answer Set Programming)求解器groc
Data e Risorse
-
回答集程序求解器(ASP solver)grocZIP
【下载量:147】
下载后先解压。使用前请先阅读“回答集程序求解器groc”和“使用说明”。
Informazioni addizionali
Campo | Valore |
---|---|
Autore | Yi Zhou, Vernon Asuncion, Yan Zhang |
Ultimo aggiornamento | 22 marzo 2017, 13:43 (UTC+00:00) |
Creato | 22 marzo 2017, 13:43 (UTC+00:00) |