Integer programming easily encloses horse · HackerLangs