Este es el comando sat4j 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
sat4j - biblioteca eficiente de solucionadores SAT en Java
SINOPSIS
sat4j fichero de entrada
DESCRIPCIÓN
Esta página de manual documenta brevemente la sat4j mando.
sat4j es una biblioteca eficiente para solucionadores de SAT escrita en Java.
Puede encontrar un conjunto inicial de documentación en http://www.sat4j.org/doc.php (en
en particular, se recomienda la "guía de introducción"). Esta documentación no se envía
en el paquete, ya que no está libre de DFSG.
Utilice sat4j en línea utilizando los servicios de onworks.net
