Skip to content
GitLab
Explore
Sign in
Eclipse Projects
Eclipse ESCET (Supervisory Control Engineering Toolkit)
escet
Issues
#313
CIF data-based synthesis ignores restriction in case of forward application.
See:
!159 (comment 570580)
.