iclingo. Uno strumento di programmazione impostato risposta.
Scarica ora

iclingo. Classifica e riepilogo

iclingo. Tag

calcolare risolvere

iclingo. Descrizione

ICLINGO è un'utilità della riga di comando che implementa un sistema APS incrementale alle funzioni dell'applicazione CLINGO. L'obiettivo dell'applicazione è quello di produrre solo le regole di terra derivanti dalla fetta del programma e per evitare di ripetere le regole di messa a terra precedentemente prodotte. Come programma Clingo, questo strumento include il risolutore che accumula le regole di messa a terra per calcolare i set di risposte.

iclingo. Software correlato