-
Notifications
You must be signed in to change notification settings - Fork 4
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
Implement picosat_set_interrupt #27
Comments
Is there any way to use the |
A user could not use |
Allow users to set custom interrupt functions as well as providing default time and signal-based (e.g., Ctrl+C) ones.
picosat.h
doesn't say it, but the interrupt function should return non-zero when it's time forpicosat_sat
to give up and zero if it can keep going. Theexternal_state
should be a pointer to some Go object that the Go interrupt function can read for information about what it's supposed to do. May need some C type casting to allow this.The text was updated successfully, but these errors were encountered: