#83 Fix recursion condition for saturation#84

dhendriks merged 1 commit into

com-github-javabdd:mastercom-github-javabdd/com.github.javabdd:masterfrom

wytseoortwijn:83-saturation-does-not-explore-all-stateswytseoortwijn/com.github.javabdd:83-saturation-does-not-explore-all-statesCopy head branch name to clipboard