Package yices-tools

Command line tools that use the yices library

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

General Commands
Command Description
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