search

ACassimiro / TSNsched

Automated Schedule Generation for Time-Sensitive Networks (TSN).
GNU General Public License v3.0
87 stars 38 forks source link

Failed to run the example #30

Open Xszb0000 opened 2 years ago

Xszb0000 commented 2 years ago

image 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

zeus1024 commented 1 year ago

I have encountered the same problem. Have you solved it