Hsmtlib.Solvers.Cvc4
startCvc4