Living with irs

Abstract

This paper describes the development of Irs, an implementation of the reverse search method to the vertex enumeration/convex hull problem for convex polyhedra. We describe an important and difficult class of polyhedra, called configuration polytopes, that have application to determining the ground states of alloy phase diagrams. Experience gained while trying to solve these problems lead to a number of improvements to the original implementation.