“…In the last decade, there has been an increased interest in the algorithmic theory of lattice polytopes, which is motivated by applications in algebra, algebraic geometry, combinatorics, and optimization (see, for example, [3,4,6,[8][9][10][11][12][19][20][21]23]). So far, a special emphasis has been put on computer-assisted enumeration results, which are important from different perspectives.…”