Open mohammadvazirpanah opened 2 years ago
Add zipU and add an example to test two scenarios in the untimed model
Add zipU and add an example to test two scenarios in the untimed model