Sponsor:

Your company here — click to reach over 10,000 unique daily visitors

Package yices-tools

Command line tools that use the yices library

http://yices.csl.sri.com/

Version: 2.6.5

General Commands

yices the Yices SMT solver for the Yices language
yices-sat the Yices Sat solver
yices-smt the Yices SMT solver for the SMT-LIB 1.2 language
yices-smt2 the Yices SMT solver for the SMT-LIB 2 language