Closed xtrojak closed 3 years ago
This PR focuses on issues given in #25, in particular the two version of Transition systems are merged to single one. The TS generating workers are also merged accordingly, leading to simpler and cleaner code.
Close #25
This PR focuses on issues given in #25, in particular the two version of Transition systems are merged to single one. The TS generating workers are also merged accordingly, leading to simpler and cleaner code.
Close #25