Hey there! Thank you thank you for this library, and I'm delighted to see some action in it lately. I wanted to flag that it looks like the release numbers here on Github have maybe drifted a bit from the release history over on PyPI. For my purposes (I use puzpy as a library in a terminal-based solving interface) the PyPI release is pretty key, so if there's anything I can do to help get those in sync please let me know!
micwoj92
commented
3 weeks ago
Hey there! Thank you thank you for this library, and I'm delighted to see some action in it lately. I wanted to flag that it looks like the release numbers here on Github have maybe drifted a bit from the release history over on PyPI. For my purposes (I use
puzpyas a library in a terminal-based solving interface) the PyPI release is pretty key, so if there's anything I can do to help get those in sync please let me know!