allpairs_undirected now throws an exception to indicate that it is not yet implemented.
allpairs_undirected now throws an exception to indicate that it is not yet implemented.

sambayless/monosat,sambayless/monosat,sambayless/monosat,sambayless/monosat