SCALAZ3.

A JNI Binding Pack che consente di utilizzare Scala e Z3
Scarica ora

SCALAZ3. Classifica e riepilogo

Annuncio pubblicitario

  • Rating:
  • Licenza:
  • Freeware
  • Nome editore:
  • Philippe Suter
  • Sistemi operativi:
  • Windows All
  • Dimensione del file:
  • 521 KB

SCALAZ3. Tag


SCALAZ3. Descrizione

SCALAZ3 č un'interfaccia Scala che consente di lavorare con l'applicazione Z3 sviluppata da Microsoft. Il pacchetto include i Binding JNI che consentono di interagire con il risolutore SMT. Questo componente ti consente di combinare le funzionalitą del linguaggio di programmazione Scala con le funzionalitą di Proving Teorem della Z3.


SCALAZ3. Software correlato

Chi siamo