Version0.5.4compared with
Version Details
| 0.5.3 | 0.5.4 | |
|---|---|---|
| Release date | Oct 27, 2022 | Nov 01, 2022 |
| Licenses | MIT | MIT |
| Vulnerabilities | None | None |
Compile Changes (12)
| 0.5.3 | 0.5.4 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| + Added | io.github.p-org.solvers » abc | - | 1.0.1-v5 |
| + Added | io.github.p-org.solvers » cvc5 | - | 0.0.7-v5 |
| + Added | io.github.p-org.solvers » monosat | - | 1.6.0-v5 |
| + Added | io.github.p-org.solvers » pjbdd | - | 1.0.10-10-v5 |
| + Added | io.github.p-org.solvers » yices | - | 1.0-v5 |
| + Added | io.github.p-org.solvers » z3 | - | 4.8.14-v5 |
| - Removed | com.berkeley.abc » abc | 1.0.0 | - |
| - Removed | com.microsoft.z3 » z3 | 4.8.14 | - |
| - Removed | com.sri.yices » yices | 1.0 | - |
| - Removed | io.github.cvc5 » cvc5 | 0.0.7 | - |
| - Removed | io.github.monosat » monosat | 1.6.0 | - |
| - Removed | org.sosy_lab.pjbdd » pjbdd | 1.0.10-10 | - |