Node pointers of reduced edges (incident to RI/RII reduced nodes) are outdated after...
authorSebastian Buchwald <Sebastian.Buchwald@kit.edu>
Sun, 7 Dec 2008 17:40:52 +0000 (17:40 +0000)
committerSebastian Buchwald <Sebastian.Buchwald@kit.edu>
Sun, 7 Dec 2008 17:40:52 +0000 (17:40 +0000)
commitb32feed117889593ff7e7c1de6bc1e36e76febdc
tree417fd098f94c0c54c3b341e7b37c75391a0f8f92
parent6287ccc7fce42786aa789708eb89303d51d235ba
Node pointers of reduced edges (incident to RI/RII reduced nodes) are outdated after brute force reduction. So an update is necessary before starting back propagating such a node.

Brute force solver seems to work now.

[r24377]
heuristical.c