iclingo Un outil de programmation de réponses.
Télécharger maintenant

iclingo Classement & Résumé

iclingo Mots clés

calculer résoudre

iclingo La description

ICLINGO est une utilitaire de ligne de commande qui implémente un système d'APS incrémentiel aux fonctions de l'application Clingo. L'objectif de la demande est de ne produire que les règles de base découlant de la tranche de programme et d'éviter de répéter les règles de base produites précédemment. En tant que programme Clingo, cet outil inclut le solveur qui accumule les règles de base afin de calculer les jeux de réponses.

iclingo Logiciels associés