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