Houdini - A solver is a reduce function