Hsmtlib
startSolver