Escarabajo Herramienta de prototipos para sistemas de programación de restricciones basadas en SAT
Descargar ahora

Escarabajo Clasificación y resumen

Escarabajo Etiquetas

pista monitor Prototipo solucionador satelital rastreador del artefacto rastrear artefacto monitor de artefacto artefacto Programación de restricciones prototipos

Escarabajo Descripción

Scarab es una utilidad de prototipos rápidos gratuitos, de código abierto y de plataforma, diseñada para sistemas de programación de restricciones basadas en SAT. Scarab incluye un módulo de codificación SAT, componentes de lenguaje específicos de la programación de la restricción y una interfaz al soldado SAT Backend. Además, también puede usar Scarab para crear sistemas basados en SAT eficientes.

Escarabajo Software relacionado