{"shas":[["499351fde45e225e7fb24030ae131533396fd7e0","dae6ae7d61448ce1df9b86f506daa817159f5ee3@qmedtrix.com","Added some helper functions for adding/removing negations to graph nodes.","agentcoops"],["c4135c9311f733a832c489f1b43e50f8a4ac3144","dae6ae7d61448ce1df9b86f506daa817159f5ee3@qmedtrix.com","Accidentally overwrote my changes to graph.ML in updating dependencies -- undid this. Added new graph helper functions to reverse node edges, generally working on implementing contrapositive.","agentcoops"],["b35f0edcf30aa332ba4c19bfe18ec2b3de0ff222","dae6ae7d61448ce1df9b86f506daa817159f5ee3@qmedtrix.com","OK! All the edges into and out of a node can now be reversed.","agentcoops"],["5129e8970af78bf5d9396d184fbc949e56de8190","dae6ae7d61448ce1df9b86f506daa817159f5ee3@qmedtrix.com","Added my helper methods to graph signature.","agentcoops"]],"ref":"refs/heads/master","size":4,"head":"5129e8970af78bf5d9396d184fbc949e56de8190","push_id":33676217}