Integer programming easily encloses horse | Dark Hacker News