ice-type model
square lattice model whose state is a set of orientations for every edge such that at each vertex exactly 2 arrows point inward
square lattice model whose state is a set of orientations for every edge such that at each vertex exactly 2 arrows point inward