NewYour coding agent can read the release notes before it upgrades.Set up the MCP server →
PyPI · #1662 most downloaded on PyPI
an efficient SMT solver library
Last release 1 months ago
16 Aug 2026
Ships fairly regularly
a new release about every 2 months
No release notes found
nothing matched a version
3 versions withdrawn
withdrawn after publishing
10 years old
52 releases · first in 2016
This project publishes no release notes; versions are listed without them.
One column per quarter.
Your coding agent can read these notes before it upgrades. Set up the MCP server →