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