Escarabajo Una herramienta de prototipos para sistemas basados en SAT
Descargar ahora

Escarabajo Clasificación y resumen

Escarabajo Etiquetas

Fuente TrueType Carácter ttf fuente tipo verdadero TTF diseñador fuente original prototipo solucionador SAT

Escarabajo Descripción

Scarab viene con un paquete de componentes diseñado para ayudarlo a crear sistemas de programación basados en SAT eficientes. Desarrollado utilizando el lenguaje de programación SCALA, Scarab incluye componentes DSL, un módulo de codificación SAT y le proporciona una interfaz al soldado SAT Backend.

Escarabajo Software relacionado