Incompatibilities with latest Z3 releases

Open albymor opened this issue 3 years ago • 2 comments

It seems that TSNSched has some problems with the latest Z3 releases (4.10 and above)

:./libs/com.microsoft.z3.jar:./libs/gson-2.8.6.jar:./libs/java-json.jar:./libs/TSNsched.jar
java: symbol lookup error: /usr/lib/libz3java.so: undefined symbol: Z3_toggle_warning_messages

Installing Z3 v4.9.1 seems to solve the problem.

Clearly, I also had also to revert the changes for the m1 chip as described in #24

Jul 29 '22 09:07 albymor

Hello, I am using Ubuntu18.04, JAVA-8, Z3 4.8.10 or Z34.9.1 I have also used, but when I run the example, there is always an error, the error is as shown below, do you have a better suggestion

Sep 14 '22 03:09 Xszb0000

I think you have to revert the changes for the m1 chip as described in #24

Sep 14 '22 13:09 albymor