Base Package: mingw-w64-yices
Yices is a fast SMT solver with C and Python bindings.
A newer upstream version (2.6.4)
is available.
Consider packaging the new version for MSYS2 as well. See the packaging guide for how to help.
Consider packaging the new version for MSYS2 as well. See the packaging guide for how to help.
- Base Group(s):
- -
- Repo(s):
- clang32, clang64, mingw32, mingw64, ucrt64
- Upstream URL:
- https://yices.csl.sri.com
- License(s):
- GPLv3
- Version:
- 2.6.2-1
- GIT Version:
- 2.6.2-1
- Arch Linux:
- 2.6.4
- Binary Packages: