cvc5
High-level Rust bindings for the cvc5 SMT solver
Activity
- Latest release
- 2w ago
- Total releases
- 6
- Cadence
- ~12 days
- Last 12 months
- 6
Reach
- Downloads
- 2.8k
Details
- License
- BSD-3-Clause
- First release
- Apr 15, 2026
| Version | Released | |
|---|---|---|
0.6.1
patch
|
0.6.1
patch
Dependencies (1)
|
|
0.6.0
minor
|
0.6.0
minor
Dependencies (1)
|
|
0.5.1
patch
|
0.5.1
patch
Dependencies (1)
|
|
0.5.0
minor
|
0.5.0
minor
Dependencies (1)
|
|
0.4.1
patch
|
0.4.1
patch
Dependencies (1)
|
|
0.4.0
unknown
|
0.4.0
unknown
Dependencies (1)
|