Ability to pass Picosat a file argument when verbose>0

[wkschwartz]

Currently Pycosat sets up a Picosat instance and you can set the latter's verbosity. However, Picosat's verbose output goes to stdout only. I would like the ability to set a different destination for that logging output. Even better would be a callback but based on reading around in picosat.h it looks like it can only take a C-level FILE* pointer. So I guess the most Python-friendly way to do it would be to create a pipe, hook one end of it up to Picosat, and have the other end dump into a Python io.StringIO buffer (or a io.BytesIO buffer, depending on what Picosat's approach to text output is). The advantage of this would be that it would be easier to embed Pycosat in a web app where you need to control the logging destinations more closely than with a command line app.

(I would do this myself but I couldn't figure out how to make files from Python's C API.)

[github-actions]

Hi there, thank you for your contribution!

This issue has been automatically marked as stale because it has not had recent activity. It will be closed automatically if no further activity occurs.

If you would like this issue to remain open please:

1. Verify that you can still reproduce the issue at hand
2. Comment that the issue is still reproducible and include:
   - What OS and version you reproduced the issue on
   - What steps you followed to reproduce the issue

NOTE: If this issue was closed prematurely, please leave a comment.

Thanks!