tudo-aqua/z3-turnkey

Issues

• java.lang.UnsatisfiedLinkError: No native libraries present for LINUX on AARCH64

  #18 opened a year ago by AlienKevin
  3

• UnsatisfiedLink /tmp/z3-turnkeyXXXXXX/libz3.so: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.34' not found

  #19 opened 8 months ago by salimane
  5

• memory leak issue

  #17 opened a year ago by syheliel
  3

• Bump to 4.12.x

  #16 opened a year ago by thpani
  4

• Update to Z3 4.9 series

  #14 opened 2 years ago by no-preserve-root
  2

• Release 4.8.15

  #13 opened 2 years ago by shonfeder
  2

• Add support for `aarch64`

  #12 opened 2 years ago by thpani
  3

• Please bundle the current version 4.8.14

  #11 opened 2 years ago by espresso-if
  1

• Finally a normal Java build system for z3

  #2 opened 4 years ago by sequencer
  2

• DYLD_LIBRARY_PATH issue under macOS Catalina and BigSur

  #3 opened 3 years ago by timosntr
  4

• Extending to CVC4?

  #1 opened 4 years ago by dtwelch
  2