Sat4j trae el poder de la tecnología SAT a la plataforma Java
Descargar ahora

Sat4j Clasificación y resumen

Sat4j Etiquetas

estructura motor de razonamiento razonamiento se sentó Marco SAT Biblioteca SAT

Sat4j Descripción

Trae el poder de la tecnología SAT a la plataforma Java. SAT4J es una biblioteca de autores de razonamiento gratuita y de razonamiento gratuito en Java en función del problema de la satisfacción (SAT). El objetivo de la biblioteca de SAT4J es proporcionar una biblioteca eficiente de los Soluciones SAT en Java. En comparación con el proyecto OpenSAT, la biblioteca SAT4J se dirige a los primeros usuarios de SAT "Black Boxes", dispuesto a incrustar las tecnologías SAT en su aplicación sin preocuparse por los detalles. Aquí están disponibles las instrucciones de uso de SAT4J. Requisitos: · Java ¿Qué hay de nuevo en este lanzamiento: · Lanzamiento de BUGFIX: Corrige un error de eficiencia en la clase XPlain.

Sat4j Software relacionado