Scalaz3 Un pack de liaisons JNI qui vous permet d'utiliser Scala et Z3
Télécharger maintenant

Scalaz3 Classement & Résumé

Scalaz3 Mots clés

interface Classeur

Scalaz3 La description

SCALAZ3 est une interface SCALAA qui vous permet de travailler avec l'application Z3 développée par Microsoft. Le colis inclut les fixations JNI vous permettant d'interagir avec le solveur SMT. Ce composant vous permet de combiner les capacités du langage de programmation Scala avec les caractéristiques du théorème du Z3.

Scalaz3 Logiciels associés