Scalaz3

SCALA ve Z3'ü kullanmanıza izin veren bir JNI bağlama paketi
Şimdi İndirin

Scalaz3 Sıralama ve Özet

Reklamcılık

  • Rating:
  • Lisans:
  • Freeware
  • Yayıncı adı:
  • Philippe Suter
  • İşletim sistemleri:
  • Windows All
  • Dosya boyutu:
  • 521 KB

Scalaz3 Etiketler


Scalaz3 Açıklama

Scalaz3, Microsoft tarafından geliştirilen Z3 uygulamasıyla çalışmanıza izin veren bir scala arayüzüdür. Paket, SMT çözücüyle etkileşime girmenizi sağlayan JNI bağlarını içerir. Bu bileşen, SCALA programlama dilinin özelliklerini Z3'ün teoremi kanıtlayan özellikleriyle birleştirmenize olanak sağlar.


Scalaz3 İlgili Yazılım

Hakkımızda