📦 yices-tools

Y

• yices(1)the Yices SMT solver for the Yices language✨
• yices-sat(1)the Yices Sat solver✨
• yices-smt(1)the Yices SMT solver for the SMT-LIB 1.2 language✨
• yices-smt2(1)the Yices SMT solver for the SMT-LIB 2 language✨