Powerful, constraint-based configuration