Este es el comando picosat.trace 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
picosat: solucionador SAT con soporte de prueba y núcleo
SINOPSIS
picosat [opciones] fichero de entrada
DESCRIPCIÓN
Esta página de manual documenta brevemente la picosat mando.
picosat es un solucionador de SAT con funciones básicas y de prueba. Utilizar el picosat.trace binario a
realmente use estas capacidades (estas incurren en algunos gastos generales).
OPCIONES
-h Mostrar resumen de opciones.
--versión
imprimir versión y salir
--config
imprimir configuración de compilación y salir
-v habilitar salida detallada
-f ignorar encabezado no válido
-n no imprime una asignación satisfactoria
-p imprimir fórmula en formato DIMACS y salir
-i <0/1>
forzar FALSO respectivamente VERDADERO como fase predeterminada
-a
empezar con una suposición
-l
establecer límite de decisión
-s
establecer la semilla del generador de números aleatorios
-o
establecer archivo de salida
-t
generar un archivo de seguimiento de prueba compacto (use picosat.trace, vea arriba).
-T
Genere un archivo de seguimiento de prueba extendido (use picosat.trace, vea arriba).
-r
generar un archivo de prueba de propagación de unidad inversa (use picosat.trace, vea arriba).
-c
Genere un archivo de núcleo clausal en formato DIMACS (use picosat.trace, vea arriba).
-V
generar archivos con listas de variables principales
-U
generar una lista de archivos con las variables utilizadas
Utilice picosat.trace en línea utilizando los servicios de onworks.net
