- Fix multi-threaded crash on Windows from a stale PicoSAT literal pointer (#831)
- Ctrl+C now interrupts solving in the Python module (#832)
- Build and publish Windows Python wheels (#833)
Thanks to @GregoryMorse for the work on this release.
What's Changed
- Fix stale PicoSAT literal pointer crash under multi-threaded solve by @GregoryMorse in #831
- Add python ctrl c by @msoos in #832
- Add windows build by @msoos in #833
New Contributors
- @GregoryMorse made their first contribution in #831
Full Changelog: release/v5.14.6...release/v5.14.7
Contributors
msoos and GregoryMorse