The constraint solver takes a description of some constraints and a layout describing the relationship between cells and tries to generate a configuration that fills all cells while still conforming ...