Describir: A Declarative Framework for Constrained Search Problems in Manufacturing