Este es el cierre de comando que se puede ejecutar en el proveedor de alojamiento gratuito de OnWorks utilizando una de nuestras múltiples estaciones de trabajo en línea gratuitas, como Ubuntu Online, Fedora Online, emulador en línea de Windows o emulador en línea de MAC OS.
PROGRAMA:
NOMBRE
clasp - un solucionador de conjuntos de respuestas de aprendizaje no bueno impulsado por conflictos
SINOPSIS
corchete [número][opciones]
DESCRIPCIÓN
Esta página de manual documenta brevemente la corchete mando.
corchete es un solucionador de conjuntos de respuestas para programas lógicos normales (extendidos). Combina la alta
capacidades de modelado de niveles de programación de conjuntos de respuestas (ASP) con técnicas de vanguardia
del área de resolución de restricciones booleanas. El algoritmo de cierre primario se basa en
un aprendizaje no bueno impulsado por el conflicto, una técnica que resultó muy exitosa para
Comprobación de satisfacción (SAT). A diferencia de otros solucionadores ASP de aprendizaje, clasp no se basa en
software heredado, como un solucionador SAT o cualquier otro solucionador ASP existente. Más bien, el cierre tiene
Se ha desarrollado genuinamente para la resolución de conjuntos de respuestas basada en un aprendizaje no bueno impulsado por conflictos.
clasp se puede aplicar como un solucionador ASP (en formato de salida LPARSE), como un solucionador SAT (en
formato DIMACS / CNF simplificado), o como un solucionador PB (en formato OPB).
OPCIONES
Estos programas siguen la sintaxis habitual de la línea de comandos GNU, con opciones largas que comienzan con
dos guiones (`- '). Un resumen de las opciones se incluye a continuación. Para una descripción completa,
verhttp://www.cs.uni-potsdam.de/clasp/>.
-h, --ayuda
Mostrar resumen de opciones.
-v, --versión
Muestra la versión del programa.
Utilice el cierre en línea utilizando los servicios de onworks.net