Describe a product. Claude designs the production line and places every machine on the floor; a constraint solver (OR-Tools CP-SAT) checks each layout against the building's rules and sends back what is wrong until it is valid.