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 |