BoxStacks solver¶