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

If no goal is set - the system returns Obtained proof that task has no solution #239

Open

1 task

grandrew opened this issue Oct 10, 2021 · 1 comment

Labels

bug invalid question

Contributor

grandrew commented Oct 10, 2021 •

edited

Loading

Must be:

if no goal is set by user - exit without computing anything

grandrew assigned andreykyz

grandrew transferred this issue from another repository

grandrew added the bug label

grandrew unassigned andreykyz

grandrew added invalid question labels

Contributor Author

grandrew commented Oct 13, 2021

Problem is that there may be no DATA.GOAL = True set

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