You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When a model reveals a bug in the underlying solver (e.g. #8 ) the UI returns a confusing error message from the underlying API.
Given that the only expected error is an Azure timeout, so a more informative result should be returned to indicate to the user that the issue lies in the underlying SAT solver and that they should contact BMA developers to fix the problem.
When a model reveals a bug in the underlying solver (e.g. #8 ) the UI returns a confusing error message from the underlying API.
Given that the only expected error is an Azure timeout, so a more informative result should be returned to indicate to the user that the issue lies in the underlying SAT solver and that they should contact BMA developers to fix the problem.