The classical game of Peg Solitaire has uncertain origins, but was certainly popular by the time of LOUIS XIV, and was described by LEIBNIZ in 1710. The modern mathematical study of the game dates to the 1960s, when the solitaire cone was first described by BOARDMAN and CONWAY. Valid inequalities over this cone, known as pagoda functions, were used to show the infeasibility of various peg games...