TSNsched - the forked version #

One of the main problems of TSN is the creation of a schedule. To tackle this problem, auto-gate schedulers are used. One of them is TSNsched, implemented in Java and using Microsofts Z3 for scheduling.

For more information, visit the github page of our forked version of TSNsched.