Hsmtlib.Solvers.Altergo
startAltErgo