-
Notifications
You must be signed in to change notification settings - Fork 5
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.
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
Unexpected thread state when solving des #49
Labels
Comments
@o-smirnov any ideas? |
I think some tiles are already fully flagged |
Google just shows a bunch of shoes. Probably means we're hosed?
[image: image.png]
…On Thu, Apr 11, 2019 at 11:59 AM Benjamin Hugo ***@***.***> wrote:
@o-smirnov <https://github.com/o-smirnov> any ideas?
—
You are receiving this because you were mentioned.
Reply to this email directly, view it on GitHub
<#49 (comment)>,
or mute the thread
<https://github.com/notifications/unsubscribe-auth/AGK5vzCm3NLu1AyRDkBaOF54uTjscj1-ks5vfwd2gaJpZM4cpNjY>
.
|
Yeah I'm not sure it handles that gracefully. Maybe rerun with bigger tiles?
…On Thu, Apr 11, 2019 at 12:02 PM Benjamin Hugo ***@***.***> wrote:
I think some tiles are already fully flagged
—
You are receiving this because you were mentioned.
Reply to this email directly, view it on GitHub
<#49 (comment)>,
or mute the thread
<https://github.com/notifications/unsubscribe-auth/AGK5v26mSyKUVydvezQupOMaYuUkTPRCks5vfwhGgaJpZM4cpNjY>
.
|
Hmm no it looks like something more insidious:
|
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Parset options:
The text was updated successfully, but these errors were encountered: