Package yices-tools
Command line tools that use the yices library
Version: 2.6.4
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 |