Closed GoogleCodeExporter closed 9 years ago
Branching priority works in r57 as: solver.branching['inference'].priority =
12345
Original comment by ryan%che...@gtempaccount.com
on 16 Oct 2009 at 3:30
Done in r60. Once can now reference these by rule name:
solver.branching['inference'].priority = 12345
solver.branching['inference'].maxdepth = 12345
solver.branching['inference'].maxbounddist = 12345
Original comment by ryan%che...@gtempaccount.com
on 16 Oct 2009 at 6:31
Original issue reported on code.google.com by
ryan%che...@gtempaccount.com
on 20 Jul 2009 at 3:42