Hsmtlib.Solvers.Boolector
startBoolector