yices

The Yices SMT Solver
http://yices.csl.sri.com/

Current versions
2.5.4

yices requires the following formulae to be installed:
cmake 3.11.1 Cross-platform make
autoconf 2.69 Automatic configure script builder
gperf 3.1 Perfect hash function generator
gmp 6.1.2_2 GNU multiple precision arithmetic library

Recent formula history

ilovezfs yices 2.5.4
ilovezfs yices 2.5.3
Thierry Moisan yices 2.5.2 (new formula)

Formula code at GitHub