Fixed a bug in the python api: method graph.hasEdge() could fail in some cases with a key error
Fixed a bug in the python api:
method graph.hasEdge() could fail in some cases with a key error

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