Skip to content
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

Time out for sat solvers #78

Open
algebravic opened this issue Apr 23, 2021 · 1 comment
Open

Time out for sat solvers #78

algebravic opened this issue Apr 23, 2021 · 1 comment
Labels
enhancement New feature or request

Comments

@algebravic
Copy link

From the documentation one can use solve_limited with expect_interrupt to get a SAT solver to terminate for some external reason -- like a time limitation. However, not all of the solvers have this feature. It would be nice to have a method for each solver to query whether or not this is available. Right now, if you try to call solve_limited on one for which this isn't available, you'll get an exception. It would be nice if a time out mechanism was available for these other solvers. Since they're accessed by an external call, it would require a bit of complicated plumbing using process control.
@alexeyignatiev
Copy link
Collaborator

OK, unless there are volunteers, I will not be able to find time for this any time soon. Sorry.

@alexeyignatiev alexeyignatiev added the enhancement New feature or request label Apr 23, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@algebravic @alexeyignatiev