Base Package: mingw-w64-yices
- Description:
- Yices is a fast SMT solver with C and Python bindings
- Base Group(s):
- -
- Homepage:
- https://yices.csl.sri.com
- Repository:
- https://github.com/SRI-CSL/yices2
- License(s):
- GPL-3.0-or-later
- Version:
- 2.7.0-1
- External:
- Vulnerabilities:
- Not enough metadata for vulnerability reporting
- Binary Packages:
-
- ucrt64
- clang64
- clangarm64