Title: Methods of specification of integer programs