abrsolver