El concreto u hormigón es uno de los materiales más versátiles usados en la construcción. En la actualidad, se usa extensivamente en la industria, ya que puede ser moldeado de formas casi arbitrarias a través de moldes rígidos denominados encofrados. La manera en que se disponen los distintos elementos para formar el encofrado y las restricciones asociadas, genera retos computacionales interesantes que impactan directamente la industria de la construcción. En este artículo se propone la implementación de un modelo de restricciones que genera encofrados para muros rectilíneos usando formaletas modulares. Este enfoque se basa en la descomposición de muros y su representación en instancias del problema de cambio de monedas. Para este propósito, se utiliza el concepto de descomposición rectangular orientada para simplificar la entrada del problema y abordar la solución como un problema de optimización por restricciones (COP). Los experimentos con entradas de prueba ofrecen soluciones en tiempos inferiores a 200 segundos, cuyo resultado es un enfoque práctico y eficiente para la compleja tarea del diseño de encofrados.