Maurizio Cimadamore 73953320cc 8020149: Graph inference: wrong logic for picking best variable to solve
Replace logic for selecting best inference leaf in the graph during an unsticking round

Reviewed-by: jjg
2013-07-17 14:19:02 +01:00
..
2010-12-28 15:54:52 -08:00
2012-11-04 11:01:49 +00:00
2012-11-04 11:01:49 +00:00