Hsmtlib.Solvers.Yices
startYices