adding in the hypergraph solver