Base Package: mingw-w64-yices

Description:
Yices is a fast SMT solver with C and Python bindings.
Base Group(s):
-
Repo(s):
clang32, clang64, clangarm64, mingw32, mingw64, ucrt64
Homepage:
https://yices.csl.sri.com
License(s):
GPLv3
Version:
2.6.2-1
GIT Version:
2.6.2-1
Anitya:
yices
Arch Linux:
2.6.4
Repology:
yices
Vulnerabilities:
Not enough metadata for vulnerability scanning

Binary Packages:
Last Update: 2024-04-21 21:27:03 [Request update]