Closed abcorrea closed 4 years ago
Correct bug in Yannakakis' successor generator in the presence of inequalties. See issue #13.
Correct bug in Yannakakis' successor generator in the presence of inequalties. See issue #13.