  I show how to express the question of whether a polyform tiles the plane
isohedrally as a Boolean formula that can be tested using a SAT solver. This
approach is adaptable to a wide range of polyforms, requires no special-case
code for different isohedral tiling types, and integrates seamlessly with
existing software for computing Heesch numbers of polyforms.
