An implementation of mapping from OCL (Object Constraint Language) constraints to Many-Sorted First-Order Logic (MSFOL).
Version1.0.1compared with
Version Details
| 1.0.0 | 1.0.1 | |
|---|---|---|
| Release date | Jul 13, 2023 | Jul 13, 2023 |
| Licenses | Apache 2.0 | Apache 2.0 |
| Vulnerabilities | None | None |
No dependency changes compared to the selected version.