Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
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
#362
Closed
Open
Created
Apr 27, 2022
by
Dennis Hendriks
@ddennis
Maintainer
Upgrade to JavaBDD 3.0.0
This includes changes that enable
#240
.