Escaravelho Uma ferramenta de prototipagem para sistemas baseados em SAT
Baixe Agora

Escaravelho Classificação e resumo

Escaravelho Tag

Fonte TrueType. Personagem TTF. Fonte tipo verdadeiro Ttf. Designer. fonte original protótipo Solucionador SAT

Escaravelho Descrição

Scarab vem com um pacote de componentes projetado para ajudá-lo a criar sistemas de programação baseados em SAT eficientes. Desenvolvido usando a linguagem de programação Scala, o Scarab inclui componentes DSL, um módulo de codificação do SAT e fornece uma interface para o resgate Sat Solver.

Escaravelho Software Relacionado