Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
Eclipse Projects
Eclipse ESCET (Supervisory Control Engineering Toolkit)
escet
Issues
#313
Closed
Open
Created
Feb 20, 2022
by
Ferdie Reijnen
@freijnen
Developer
CIF data-based synthesis ignores restriction in case of forward application.
See:
!159 (comment 570580)
.
