Package details
| Package | yices2 |
|---|---|
| Version | 2.6.5-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 | armv7 |
| Size | 1.8MiB |
| Installed size | 2.7MiB |
| Origin | yices2 |
| Maintainer | Patrycja Rosa |
| Build time | 2025-03-02 23:00:01 |
| Commit | 7c460ff5ee5b509299dd184e12df1ccb6018a3c7 | Merge request | 80811 |
| Git repository | Git repository |
| Build log | Build log |
| Issues | Open packaging issues |
| Contents | Contents of package |