NewYour coding agent can read the release notes before it upgrades.Set up the MCP server →
crates.io · #3906 most downloaded on crates.io
A CDCL based SAT solver (library)
Last release 6 years ago
no release in 18 months
Release timing varies
gaps range from 2 weeks to 1.3 years
Nearly every release is documented
notes for 3 of 3 stable releases
2 versions withdrawn
withdrawn after publishing
8 years old
5 releases · first in 2018
Replace unmaintained failure library with anyhow and thiserror
failure library with anyhow and thiserrorImproved API for constructing formulas ( #54 and #55 )
One column per quarter.
12: Release Varisat 0.2.0 r=jix a=jix
Nothing published for this version
Nothing published for this version
Your coding agent can read these notes before it upgrades. Set up the MCP server →