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 | x86 |
Size | 2.22 MB |
Installed size | 4.64 MB |
Origin | yices2 |
Maintainer | Patrycja Rosa |
Build time | 2023-02-10 05:14:10 |
Commit | 4a7eed5e6f74c1eba217d937204bee1095ea11bc |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |