corchete Un solucionamiento de resistencia para programas lógicos normales o extendidos.
Descargar ahora

corchete Clasificación y resumen

corchete Etiquetas

solucionador SE SENTÓ solucionador SAT

corchete Descripción

CLASP Permite es una implementación del algoritmo de programación del conjunto de respuestas que le permite resolver programas de lógica normales. El método se basa en la técnica de aprendizaje de nogood impulsada por conflictos. Puede usar esta herramienta como solucionador ASP, SAT SOLVER o SOLUCIÓN DE PB para sus proyectos que involucran la resolución de resolución.

corchete Software relacionado