What went wrong?

[Xszb0000]

Hello, thanks for your code, but I have some problems. I use version Ubuntu18.04, z3-4.8.13, but running examples always report this error。Please advise?

kaiguoguo@kaiguoguo-virtual-machine:~/Desktop/TSNsched/Script$ ./generateSchedule.sh example.java :./libs/com.microsoft.z3.jar:./libs/gson-2.8.6.jar:./libs/java-json.jar:./libs/TSNsched.jar Exception in thread "main" java.lang.NoSuchMethodError: 'void com.microsoft.z3.Solver.add(com.microsoft.z3.Expr[])' at com.tsnsched.core.components.Port.setUpCycle(Port.java:1377) at com.tsnsched.core.nodes.TSNSwitch.setUpCycleSize(TSNSwitch.java:418) at com.tsnsched.core.schedule_generator.ScheduleGenerator.configureNetwork(ScheduleGenerator.java:159) at com.tsnsched.core.schedule_generator.ScheduleGenerator.generateSchedule(ScheduleGenerator.java:257) at UseCase.runTestCase(UseCase.java:453) at GenerateScheduleJavaInput.main(GenerateScheduleJavaInput.java:15) mv: cannot stat 'log.txt': No such file or directory mv: cannot stat 'output.json': No such file or directory Ending execution

[zeus1024]

I have encountered the same problem. Have you solved it