Module AltErgoLib__Sat_solver