7:40:37lukegoJust now it seems like the next strategy for me to try is (1) Draw each part into a CLIM output record to know how big it is and the locations of relevant constituent parts (2) describe layout problem in SMT-LIB syntax and solve with Z3 (3) Place the parts by setting the positions of their output records according to the model from the solver.
7:41:26lukegoHave done the basic "pack these boxes into this area such that they don't overlap" layout this way now and have to take a dog walk to think about how to express more useful layout constraints in this way