Base Package: mingw-w64-yices

Yices is a fast SMT solver with C and Python bindings.
Group(s):
-
Repo(s):
mingw32, mingw64
Upstream URL:
https://yices.csl.sri.com
License(s):
GPLv3
Version:
2.6.1-1
GIT Version:
2.6.1-1
Arch Linux:
2.6.2

Binary Packages:
Last Update: 2020-10-24 03:36:32