Scalaz3.

Ligações JNI e uma biblioteca Scala para interagir com o solucionador Z3 SMT
Baixe Agora

Scalaz3. Classificação e resumo

Propaganda

  • Rating:
  • Licença:
  • Freeware
  • Nome do editor:
  • Philippe Suter
  • Site do editor:
  • http://lara.epfl.ch/~psuter/
  • Sistemas operacionais:
  • Mac OS X
  • Tamanho do arquivo:
  • 538 KB

Scalaz3. Tag


Scalaz3. Descrição

ScaloAZ3 contém um conjunto de ligações e uma biblioteca para interagir com o solucionador Z3 SMT para Scala.Scalaz3 é compilado para SCALA 2.9.1 e Z33.2.SETUP: · Download Z3 e copie os arquivos Incluir e lib para Z3 / X64 / / Incluir e Z3 / x64 / / lib, respectivamente. (por exemplo: Z3 / x64 / 3.2 / Incluir / z3.h e z3 / x64 / 3.2 / lib / libz3.so). · Download SBT. Execute 'Atualização SBT' no diretório atual. (Aviso: Atualmente, apenas versões do SBT com mais de 0.10 são suportadas!) · Execute 'Pacote SBT' para criar o arquivo JAR. Ele estará em alvo / /scalaz3.jar e conterá a biblioteca compartilhada exigida pelas ligações. · Para testes, executar: DYLD_LIBRAY_PATH = Z3 / / lib SBT Testalternativamente, inicie um console por cunhingdld_library_path = z3 / / lib Scala -CP Alvo / Scalaz3.jarthen Tente, por exemplo, Println (Z3.scala.Version).


Scalaz3. Software Relacionado

Beanio

Biblioteca Java para organizar e unmarshalling bean objetos de um fluxo ...

120 2.1 MB

Download

Sobre nós