Scalaz3 JNI-bindingen en een Scala-bibliotheek om te communiceren met de Z3 SMT-oplosser
Download nu

Scalaz3 Rangschikking & Samenvatting

Scalaz3 Tags

verbindend jni Scala

Scalaz3 Beschrijving

Scalaz3 bevat een reeks bindingen en een bibliotheek om te communiceren met de Z3 SMT-oplosser voor Scala.Scalaz3 is samengesteld voor Scala 2.9.1 en Z33.2.Setup: · Download Z3 en kopieer de volgende en lib-bestanden naar Z3 / X64 / / omvatten en z3 / x64 / / lib respectievelijk. (bijvoorbeeld: z3 / x64 / 3.2 / omvatten / z3.h en z3 / x64 / 3.2 / lib / libz3.so). · Download SBT. Voer 'SBT-update' uit vanuit de huidige map. (WAARSCHUWING: Momenteel worden alleen versies van SBT ouder dan 0,10 ondersteund!) · Voer 'SBT-pakket' uit om het JAR-bestand te maken. Het zal in doel / /Scalaz3.jar staan en zal de gedeelde bibliotheek bevatten die door de bindingen vereist is. · Voor testen, uitvoeren: DYLD_LIBRARY_PATH = Z3 / / LIBT SBT Testalternatief, start een console door RunningDyld_Library_Path = Z3 / / LIB SCALA -CP-doel / Scalaz3.jarthen Probeer, bijvoorbeeld Println (Z3.Scala.version).

Scalaz3 Gerelateerde software