Synthesis With Hypergraphs