Title: From formal specifications to integer programs