Skip to content
GitLab
Explore
Sign in
Spot
Spot
Issues
#9
new option for branching postponement
Implement branching postponement only for states labeled by recurrence formulae.