Module AltErgoLib__Sat_solver_sig