Sign in Sign up

cargo

cvc5

High-level Rust bindings for the cvc5 SMT solver

View on Cargo

Activity

Latest release: 4h ago
Total releases: 4
Cadence: ~12 days
Last 12 months: 4

Reach

Downloads: 2.3k

Details

License: BSD-3-Clause
First release: Apr 15, 2026

Releases

Version	Released
`0.5.1` patch	Sep 14, 2026
`0.5.0` minor	Sep 01, 2026
`0.4.1` patch	Aug 27, 2026
`0.4.0` unknown	Apr 15, 2026

Dependencies (1)

Depends on

0.5.1

Used by

2

Supply-chain exposure

2 tracked projects depend on this, <1% of every package we track.

Insights

Releases per month

last 12 months

Release mix

minor 1
patch 2
unknown 1

4 releases

Release calendar

2026

Jan

Feb

Mar

Apr

May

Jun

Jul

Aug

Sep

Oct

Nov

Dec

Less More