Version0.5.2compared with
Version Details
| 0.5.1 | 0.5.2 | |
|---|---|---|
| Release date | Oct 27, 2022 | Oct 27, 2022 |
| Licenses | MIT | MIT |
| Vulnerabilities | None | None |
Compile Changes (6)
| 0.5.1 | 0.5.2 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| + Added | com.berkeley.abc » abc | - | 1.0.0 |
| + Added | com.microsoft.z3 » z3 | - | 4.8.14 |
| + Added | com.sri.yices » yices | - | 1.0 |
| + Added | io.github.cvc5 » cvc5 | - | 0.0.7 |
| + Added | io.github.monosat » monosat | - | 1.6.0 |
| + Added | org.sosy_lab.pjbdd » pjbdd | - | 1.0.10-10 |
System Changes (6)
| 0.5.1 | 0.5.2 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| - 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 | - |