Java bindings for cvc5, an open-source automatic theorem prover for SMT problems
Version1.3.3compared with
Version Details
| 1.3.2-1 | 1.3.3 | |
|---|---|---|
| Release date | Dec 15, 2025 | Feb 26, 2026 |
| Licenses | BSD 3-clause | BSD 3-clause |
| Vulnerabilities | None | None |
No dependency changes compared to the selected version.