Module AltErgoLib__Satml_frontend