Scarabée Un outil de prototypage pour les systèmes à base de satellite
Télécharger maintenant

Scarabée Classement & Résumé

Scarabée Mots clés

trueType polices Caractère TTF Police de caractère vrai type Ttf designer police originale prototype Solveur SAT

Scarabée La description

Scarab est livré avec un package composant conçu pour vous aider à créer des systèmes de programmation efficaces basés sur la SAT. Développé à l'aide du langage de programmation Scala, Scarab comprend des composants DSL, un module de codage SAT et vous fournit une interface au solveur SAT Backend SAT.

Scarabée Logiciels associés