Versions
- 2.6.4 (4)
- 2.6.3
- 2.6.2 (3)
- 2.6.1 (2)
- 2.6.0
- 2.5.4
- 2.3.0
Package names
- mingw-w64-yices
- yices (5)
Categories
- Sciences/Mathematics
- Unspecified
- math
Licenses
- GPL
- GPL-3.0
- GPLv3
- GPLv3+
- GPLv3+ and BSD
- Noncommercial use only
Summaries
- A high-performance theorem prover and SMT solver
- SMT solver (2)
- The Yices SMT Solver (2)
- Yices is a fast SMT solver with C and Python bindings.