Skip to content
GitLab
Explore
Sign in
Eclipse Projects
Eclipse ESCET (Supervisory Control Engineering Toolkit)
escet
Issues
#362
Upgrade to JavaBDD 3.0.0
This includes changes that enable
#240
.