Module AltErgoLib__Satml_frontend_hybrid