Houdini [Extended Version]