New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Four-way duals not always fixed #39

Open

liberostelios opened this issue Oct 6, 2020 · 1 comment

Labels

degenerate case

Collaborator

liberostelios commented Oct 6, 2020 •

edited

Loading

We don't fix all four-way duals as they should. This occurs a few times in Poznan and remains unresolved. It might be possible to ignore.

liberostelios added the bug label

liberostelios changed the title ~~Four-way duals not always dealt~~ Four-way duals not always fixed

liberostelios added degenerate case and removed bug labels

Collaborator Author

liberostelios commented Oct 6, 2020

This is how it looks at step two:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment