iclingo Una herramienta de programación establece una respuesta.
Descargar ahora

iclingo Clasificación y resumen

iclingo Etiquetas

calcular resolver

iclingo Descripción

Iclingo es una utilidad de línea de comandos que implementa un sistema APS incremental a las funciones de la aplicación Clingo. El objetivo de la solicitud es producir solo las reglas básicas que se derivan para la rebanada del programa y para evitar repetir las reglas básicas previamente producidas. Como programa Clingo, esta herramienta incluye el solver que acumula las reglas básicas para calcular los conjuntos de respuestas.

iclingo Software relacionado