libamplsolver