We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
Is it possible to get the approximate solver progress.
The text was updated successfully, but these errors were encountered:
Yes, I think we could add progress meter for iterated solve during up and then also during down solve steps. We would have to track these two loops:
Note, however, that these two loops are asyncs, so the task completion needs to be tracked instead.
Sorry, something went wrong.
new state machine based solver will make this quite easy to do. Should happen in v0.6.x
see #273
we can just count how many clique state machines have completed for progress bar.
Partially addressed via human interpretation of #349
No branches or pull requests
Is it possible to get the approximate solver progress.
The text was updated successfully, but these errors were encountered: