Package details
| Package | yices2 |
|---|---|
| Version | 2.6.4-r0 |
| Description | Solver for Satisfiability Modulo Theories (SMT) problems |
| Project | https://github.com/SRI-CSL/yices2 |
| License | GPL-3.0-or-later |
| Branch | edge |
| Repository | testing |
| Architecture | loongarch64 |
| Size | 2.6MiB |
| Installed size | 5.5MiB |
| Origin | yices2 |
| Maintainer | Patrycja Rosa |
| Build time | 2023-02-10 05:14:10 |
| Commit | 4a7eed5e6f74c1eba217d937204bee1095ea11bc | Merge request | 43204 |
| Git repository | Git repository |
| Build log | Build log |
| Contents | Contents of package |