Three-phase equilibrium in a binary hard-core lattice model

Abstract
A binary lattice model with hard-repulsive interactions is presented consisting of hexagons and points on a two-dimensional triangular lattice. This is the first model with hard interactions only to show gas, liquid, and solid phases. The phase diagram is calculated.