Telefona gönder: A quantum constraint generation framework for binary linear programs