Incompatibilities with latest Z3 releases

[albymor]

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]

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]

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