storm icon indicating copy to clipboard operation
storm copied to clipboard

Published 20 hours ago • verified publisher icon moves-rwth

Dynamic Reordering with CUDD broken.

Open sjunges opened this issue 3 years ago • 0 comments

Pointed out in this PR https://github.com/moves-rwth/storm/pull/34 which we never merged.

Suggestion: Disable reordering completely or print a warning.

sjunges avatar May 21 '21 04:05 sjunges