Incompatibilities with latest Z3 releases

ACassimiro / TSNsched

Automated Schedule Generation for Time-Sensitive Networks (TSN).

GNU General Public License v3.0

82 stars 37 forks source link

Incompatibilities with latest Z3 releases #28

Open albymor opened 1 year ago

albymor commented 1 year ago

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

Xszb0000 commented 1 year ago

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

albymor commented 1 year ago

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