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
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!
The text was updated successfully, but these errors were encountered:
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!The text was updated successfully, but these errors were encountered: